scientific article; zbMATH DE number 781171

zbMATH Open0832.68069MaRDI QIDQ4840947FDOQ4840947

Authors Philippe Jorrand

Publication date 20 February 1996

zbMATH Keywords

process algebrasHorn clause

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Process algebra for synchronous communication
• scientific article; zbMATH DE number 3978362
• Communicating Sequential Processes. The First 25 Years
• Semantics of communicating processes
• A theory of communicating processes with value passing

Cited in

(6)

• scientific article; zbMATH DE number 4173054 (Why is no real title available?)
• scientific article; zbMATH DE number 1189061 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 64180 (Why is no real title available?)
• Observed Communication Semantics for Classical Processes
• Process algebra for synchronous communication

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 Q4840947)