Bisimulation by unification

DOI10.1007/3-540-45719-4_18MaRDI QIDQ2996148zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Andrea Bracciali, Roberto Bruni

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_18

Mathematics Subject Classification ID

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

Recommendations

• A semantic framework for open processes
• Bisimilarity of open terms.
• Open bisimulation, revisited
• A theory of bisimulation for the -calculus
• Bisimulation for higher-order process calculi

Cited in

(19)

• G-reactive systems as coalgebras
• A characterisation of open bisimilarity using an intuitionistic modal logic
• scientific article; zbMATH DE number 7015161 (Why is no real title available?)
• A semantic framework for open processes
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Deciding orthogonal bisimulation
• Bisimilarity of open terms.
• scientific article; zbMATH DE number 7471695 (Why is no real title available?)
• A framework for specifying and verifying the behaviour of open systems
• Observational congruences for dynamically reconfigurable tile systems
• Open Bisimulation for Aspects
• A bisimulation for dynamic sealing
• A coalgebraic theory of reactive systems
• Compositional equivalences based on open pNets
• SMT-based generation of symbolic automata
• Global Computing
• Bisimulation can't be traced
• On symbolic semantics for name-decorated contexts

This page was built for publication: Bisimulation by unification

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