communicating sequential processes
Sign in to saveAlso known as CSP
formal language for concurrent systems
Connections
University of Oxford
Entity
Tony Hoare
Entity
deadlock
Entity
concurrency
Entity
CiteSeerX
Entity
process calculus
Entity
Calculus of communicating systems
Entity
Language Of Temporal Ordering Specification
Entity
Elizabeth II
Person
computer science
Entity
International Standard Book Number
Entity
algorithm
Entity
International Space Station
Concept
syntax
Entity
computer programming
Entity
Wayback Machine
Entity
Lomonosov Moscow State University
Entity
digital object identifier
Entity
semantics
Entity
microprocessor
Entity