Determinacy in a synchronous -calculus

MaRDI QIDQ3400622zbMATH OpenFDO

Authors Roberto M. Amadio, Mehdi Dogguy

Publication date 5 February 2010

zbMATH Keywords

ESTEREL model

Mathematics Subject Classification ID

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

Recommendations

• A synchronous -calculus
• Concurrent and Located Synchronizations in π-Calculus
• scientific article; zbMATH DE number 522837
• Synchrony vs causality in the asynchronous \(\pi\)-calculus
• Compositional Event Structure Semantics for the Internal π-Calculus

Cited in

(4)

• scientific article; zbMATH DE number 1722647 (Why is no real title available?)
• On the validity of encodings of the synchronous in the asynchronous -calculus
• scientific article; zbMATH DE number 7438568 (Why is no real title available?)
• A synchronous -calculus

This page was built for publication: Determinacy in a synchronous \(\pi\)-calculus

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