Skip to main content

MetaHistoryBook Browse Today Discover Create

Language

Loading…

Sun & Rain Works

Est. 2005 · Eugene, OR

communicating sequential processes — MetaHistoryBook

communicating sequential processes

formal language for concurrent systems

Wikipedia ↗Wikidata (Q1120460) ↗

Details

Instance of: formal language
discoverer or inventor: Tony Hoare

Connected on Wikidata

Notable work of

Tony Hoare
Bill Roscoe

Influenced

Go
occam
SPIN model checker
Promela
Concurrent Euclid

Nothing in the MetaHistoryBook collection references this item yet.