Model checking
article-link
What links here
Communicating sequential processes
Rendezvous (Plan 9)
article-link
UFP
article-link
Coroutine
article-link
Limbo (programming language)
article-link
List of programming languages by type
article-link
Vienna Development Method
article-link
Transputer
article-link
Denotational semantics
article-link
List of computing and IT abbreviations
article-link
Thread (computing)
article-link
Tony Hoare
article-link
Occam (programming language)
article-link
List of programmers
article-link
Erlang (programming language)
article-link
List of computer scientists
article-link
Communicating Sequential Processes
redirect