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

• Open ended systems, dynamic bisimulation and tile logic
• Bisimilarity congruences for open terms and term graphs via tile logic
• CCS dynamic bisimulation is progressing
• 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 congruences for open terms and term graphs via tile logic
• Bisimilarity of open terms.
• Bisimulation by unification
• Bisimulation can't be traced
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Compositionality through and operational semantics of contexts
• Conditional rewriting logic as a unified model of concurrency
• Deriving bisimulation congruences for reactive systems
• Deriving bisimulation congruences: 2-categories vs precategories
• Deriving bisimulation congruences: a 2-categorical approach
• Dynamic connectors for concurrency
• Foundations of Software Science and Computation Structures
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized rewrite theories
• Higher-level synchronising devices in Meije-SCCS
• 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 1314229 (Why is no real title available?)
• scientific article; zbMATH DE number 2059571 (Why is no real title available?)
• Mapping tile logic into rewriting logic
• Open ended systems, dynamic bisimulation and tile logic
• 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.
• Tile transition systems as structured coalgebras

Cited in

(3)

• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Open ended systems, dynamic bisimulation and tile logic
• 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)