Generic process algebras for asynchronous communication

DOI10.1007/3-540-48320-9_17MaRDI QIDQ4270061zbMATH OpenFDO

Authors Gianluigi Zavattaro, Frank S. de Boer

Publication date 10 November 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48320-9_17

zbMATH Keywords

asynchronous communication

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3928334
• scientific article; zbMATH DE number 3903948
• Process algebra for synchronous communication
• A Generic Process Algebra
• scientific article; zbMATH DE number 781171

Cited in

(6)

• Language of asynchronous functional circuits and its operational semantics
• Generic transforms on incomplete specifications of asynchronous interfaces
• scientific article; zbMATH DE number 1820087 (Why is no real title available?)
• scientific article; zbMATH DE number 4149528 (Why is no real title available?)
• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• scientific article; zbMATH DE number 3928334 (Why is no real title available?)

This page was built for publication: Generic process algebras for asynchronous communication

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