A fully parallel calculus of synchronizing processes

DOI10.1007/3-540-56610-4_101MaRDI QIDQ5044776zbMATH OpenOpenAlexFDO

Authors Paola Quaglia, Diego Latella

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_101

Mathematics Subject Classification ID

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

Recommendations

• Algèbre de processus et synchronisation
• Higher-level synchronising devices in Meije-SCCS
• Processes with probabilities, priority and time
• Concurrent and Located Synchronizations in π-Calculus
• scientific article; zbMATH DE number 751137

Cites work

• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Calculi for synchrony and asynchrony
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• Markov chain models - rarity and exponentiality

Cited in

(10)

• Higher-level synchronising devices in Meije-SCCS
• Asynchronous process calculi: The first- and higher-order paradigms
• Synchronous parallel composition in a process calculus for ecological models
• Structured Derivation of Semi-Synchronous Algorithms
• The fork calculus
• scientific article; zbMATH DE number 751137 (Why is no real title available?)
• A non-interleaving process calculus for multi-party synchronisation
• Parallel Processing and Applied Mathematics
• The synchronized ambient calculus
• Algèbre de processus et synchronisation

This page was built for publication: A fully parallel calculus of synchronizing processes

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