Communicating Sequential Processes

DOI10.1145/3477355.3477364MaRDI QIDQ5029449zbMATH OpenOpenAlexWikidataFDO

Authors Tony Hoare

Publication date 14 February 2022

Published in Theories of Programming (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.8184

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

• A state-based approach to communicating processes
• scientific article; zbMATH DE number 988156 (Why is no real title available?)

This page was built for publication: Communicating Sequential Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5029449)