scientific article; zbMATH DE number 781171

zbMATH Open0832.68069MaRDI QIDQ4840947FDOQ4840947

Authors: Philippe Jorrand 

Publication date: 20 February 1996

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

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

zbMATH Keywords

process algebrasHorn clause

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Observed Communication Semantics for Classical Processes
• Process algebra for synchronous communication
• Communicating Sequential Processes. The First 25 Years

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)