Open ended systems, dynamic bisimulation and tile logic

DOI10.1007/3-540-44929-9_31MaRDI QIDQ4536441zbMATH OpenFDO

Authors Roberto Bruni, Ugo Montanari, Vladimiro Sassone

Publication date 25 June 2002

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

Full work available at URL https://eprints.soton.ac.uk/261960/1/tiledynIFIPoff.pdf

zbMATH Keywords

bisimulationdynamic bisimulationSOS formatstile logic

Mathematics Subject Classification ID

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

Recommendations

• Observational congruences for dynamically reconfigurable tile systems
• Bisimilarity congruences for open terms and term graphs via tile logic
• Compositional SOS and beyond: A coalgebraic view of open systems
• scientific article; zbMATH DE number 1314229
• Structured operational semantics and bisimulation as a congruence

Cited in

(5)

• Dynamic connectors for concurrency
• Rewriting logic: Roadmap and bibliography
• Observational congruences for dynamically reconfigurable tile systems
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• GETGRATS: a summary of scientific results (with annotated bibliography)

This page was built for publication: Open ended systems, dynamic bisimulation and tile logic

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