Faster access than browser!
17 relations: Cliff Jones (computer scientist), Communicating sequential processes, Computer science, Computer scientist, Concurrency (computer science), Department of Computer Science, University of Oxford, Dundee, FDR (software), Fellow, G. Mike Reed, Gavin Lowe (computer scientist), Occam (programming language), Scotland, Springer Science+Business Media, Tony Hoare, University College, Oxford, University of Oxford.
Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
New!!: Bill Roscoe and Cliff Jones (computer scientist) · See more »
Communicating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.
New!!: Bill Roscoe and Communicating sequential processes · See more »
Computer science
Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations.
New!!: Bill Roscoe and Computer science · See more »
Computer scientist
A computer scientist is a person who has acquired the knowledge of computer science, the study of the theoretical foundations of information and computation and their application.
New!!: Bill Roscoe and Computer scientist · See more »
Concurrency (computer science)
In computer science, concurrency refers to the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the final outcome.
New!!: Bill Roscoe and Concurrency (computer science) · See more »
Department of Computer Science, University of Oxford
The Department of Computer Science is the computer science department of the University of Oxford, England.
New!!: Bill Roscoe and Department of Computer Science, University of Oxford · See more »
Dundee
Dundee (Dùn Dè) is Scotland's fourth-largest city and the 51st-most-populous built-up area in the United Kingdom.
New!!: Bill Roscoe and Dundee · See more »
FDR (software)
FDR (Failures-Divergences Refinement) and subsequently FDR2 are refinement checking software tools, designed to check formal models expressed in Communicating sequential processes (CSP).
New!!: Bill Roscoe and FDR (software) · See more »
Fellow
A fellow is a member of a group (or fellowship) that work together in pursuing mutual knowledge or practice.
New!!: Bill Roscoe and Fellow · See more »
G. Mike Reed
Professor George Michael ("Mike") Reed is an American computer scientist.
New!!: Bill Roscoe and G. Mike Reed · See more »
Gavin Lowe (computer scientist)
Gavin Lowe is a British academic.
New!!: Bill Roscoe and Gavin Lowe (computer scientist) · See more »
Occam (programming language)
occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, Inmos document 72 occ 45 03 and shares many of its features.
New!!: Bill Roscoe and Occam (programming language) · See more »
Scotland
Scotland (Alba) is a country that is part of the United Kingdom and covers the northern third of the island of Great Britain.
New!!: Bill Roscoe and Scotland · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: Bill Roscoe and Springer Science+Business Media · See more »
Tony Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
New!!: Bill Roscoe and Tony Hoare · See more »
University College, Oxford
University College (in full The Master and Fellows of the College of the Great Hall of the University of Oxford,Darwall-Smith, Robin, A History of University College, Oxford. Oxford University Press, 2008.. colloquially referred to as "Univ"), is a constituent college of the University of Oxford in England.
New!!: Bill Roscoe and University College, Oxford · See more »
University of Oxford
The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.
New!!: Bill Roscoe and University of Oxford · See more »
Redirects here:
A. W. Roscoe, A.W. Roscoe, Andrew William Roscoe.
