Observational congruences for dynamically reconfigurable tile systems

DOI10.1016/J.TCS.2004.10.044MaRDI QIDQ1782000zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Ugo Montanari, Vladimiro Sassone

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/261844/1/tdbTCSOff.pdf

zbMATH Keywords

\(\pi\)-CalculusBisimulationDynamic bisimulationSOS formatsTile logic

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 1759487
• scientific article; zbMATH DE number 1759616
• scientific article; zbMATH DE number 176155
• Tile formats for located and mobile systems.
• scientific article; zbMATH DE number 92600

Cites work

• A calculus of communicating systems
• A calculus of mobile agents
• A calculus of mobile processes. I
• A theory of bisimulation for the -calculus
• An algebraic semantics for structured transition systems and its application to logic programs
• An interactive semantics of logic programming
• Bisimilarity of open terms.
• Bisimulation by unification
• Bisimulation can't be traced
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Conditional rewriting logic as a unified model of concurrency
• Deriving bisimulation congruences: a 2-categorical approach
• Dynamic connectors for concurrency
• Foundations of Software Science and Computation Structures
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 1189279 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 177838 (Why is no real title available?)
• scientific article; zbMATH DE number 1314229 (Why is no real title available?)
• scientific article; zbMATH DE number 1956527 (Why is no real title available?)
• scientific article; zbMATH DE number 2038715 (Why is no real title available?)
• scientific article; zbMATH DE number 2059571 (Why is no real title available?)
• scientific article; zbMATH DE number 1759487 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 1759616 (Why is no real title available?)
• scientific article; zbMATH DE number 1390052 (Why is no real title available?)
• Structured operational semantics and bisimulation as a congruence
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• Testing equivalences for processes
• The chemical abstract machine
• Tile formats for located and mobile systems.

Cited in

(3)

• Models of Computation: A Tribute to Ugo Montanari’s Vision
• scientific article; zbMATH DE number 1759487 (Why is no real title available?)
• Graph Rewriting Components

This page was built for publication: Observational congruences for dynamically reconfigurable tile systems

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