scientific article; zbMATH DE number 4014017

zbMATH Open0624.68030MaRDI QIDQ3026331FDOQ3026331

Robin Milner

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

Calculus of communicating systemsnon-sequential processes

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrency and atomicity
• Title not available (Why is that?)
• 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)