Bill Roscoe

Bill Roscoe

Scientist
Scientist Less

Bill Roscoe

to get instant updates about 'Bill Roscoe' on your MyPage. Meet other similar minded people. Its Free!

X 

All Updates


Description:
A. 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.Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1848829114 (2010). He co-founded Formal Systems (Europe) Limited and worked on the algorithms for the Failures-Divergence Refinement (FDR) tool.

References



External links






Read More

No feeds found

All
Posting your question. Please wait!...


About

Scientist
No messages found
Suggested Pages
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from