Comparing cospan-spans and tiles via a Hoare-style process calculus

DOI10.1016/S1571-0661(04)00325-1zbMath1268.68126OpenAlexW1978226874MaRDI QIDQ2841276

Ugo Montanari, Fabio Gadducci, Piergiulio Katis, Robert F. C. Walters, Nicoletta Sabadini

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00325-1

zbMATH Keywords

process algebrasinteractive systemsdistributedconcurrenttile logiccospan-span approach

Mathematics Subject Classification ID

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

Related Items (2)

Feedback, trace and fixed-point semantics ⋮ Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic

Cites Work

• Bicategories of processes
• Conditional rewriting logic as a unified model of concurrency
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Normal forms for algebras of connections.
• Tile formats for located and mobile systems.
• An interactive semantics of logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparing cospan-spans and tiles via a Hoare-style process calculus