A tile-based coordination view of asynchronous -calculus

DOI10.1007/BFB0029949MaRDI QIDQ4699285zbMATH OpenFDO

Authors Ugo Montanari, Gian Luigi Ferrari

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/BFB0029949

zbMATH Keywords

rewrite rulestiles

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 1231596
• scientific article; zbMATH DE number 1231533
• Tile formats for located and mobile systems.
• scientific article; zbMATH DE number 1231666

Cited in

(6)

• Rewriting logic: Roadmap and bibliography
• Tile formats for located and mobile systems.
• scientific article; zbMATH DE number 1670841 (Why is no real title available?)
• Tiles for Reo
• scientific article; zbMATH DE number 1231533 (Why is no real title available?)
• scientific article; zbMATH DE number 1231596 (Why is no real title available?)

This page was built for publication: A tile-based coordination view of asynchronous \(\pi\)-calculus

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