scientific article; zbMATH DE number 4014017

MaRDI QIDQ3026331zbMATH OpenFDO

Authors Robin Milner

Publication date 1986

zbMATH Keywords

Calculus of communicating systemsnon-sequential processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Recommendations

• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 4062561
• scientific article; zbMATH DE number 5263402
• scientific article; zbMATH DE number 3903946
• A state-based approach to communicating processes

Cited in

(8)

• scientific article; zbMATH DE number 5200721 (Why is no real title available?)
• Concurrency and atomicity
• The universal process
• scientific article; zbMATH DE number 4059362 (Why is no real title available?)
• Encoding CSP into CCS
• Revisiting sequential composition in process calculi
• Coupled similarity: the first 32 years
• A domain equation for bisimulation

This page was built for publication:

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