Formal Techniques for Networked and Distributed Systems - FORTE 2005

DOI10.1007/11562436zbMath1169.68545OpenAlexW2915402656MaRDI QIDQ5479164

S. Arun-Kumar, Astrid Kiehn

Publication date: 7 July 2006

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

Full work available at URL: https://doi.org/10.1007/11562436

Mathematics Subject Classification ID

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

Related Items

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication, Counting the Cost in the Picalculus (Extended Abstract), Bisimulation on speed: a unified approach, New Bisimulation Semantics for Distributed Systems, (Bi)simulations up-to characterise process semantics, Simulations Up-to and Canonical Preorders, An Operational Semantics for Shared Messaging Communication