Matches in DBpedia 2014 for { ?s ?p Andrew William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford.Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Bill_Roscoe abstract "Andrew William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science. He is also a Fellow of University College, Oxford.Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.".