Bill Roscoe

Andrew William Roscoe is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and was a Professor of Computer Science. He was also Fellow of University College, Oxford until 2024. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'A. W. Roscoe', query time: 0.02s Refine Results
  1. 1
    Model−checking CSP

    Model−checking CSP by A. W. Roscoe

    Published 1994
    Book section
  2. 2
    A mathematical theory of communicating processes

    A mathematical theory of communicating processes by Roscoe, A, A.W. Roscoe

    Published 1982
    Thesis
  3. 3
    A Static Analysis Framework for Livelock Freedom in CSP

    A Static Analysis Framework for Livelock Freedom in CSP by Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

    Published 2013-09-01
    Get full text
    Article

Search Tools: