scientific article; zbMATH DE number 938519

MaRDI QIDQ4896928zbMATH OpenFDO

Authors Markus Roggenbach, Mila Majster-Cederbaum

Publication date 3 February 1997

zbMATH Keywords

category theorybisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Recommendations

• scientific article; zbMATH DE number 3898224
• Towards a unified view of bisimulation: A comparative study
• Bisimulation from open maps
• Bisimulation of automata

Cited in

(18)

• New Bisimulation Semantics for Distributed Systems
• Characteristic classes and bisimulations of generalized Veltman models
• On Bisimilarity and Substitution in Presence of Replication
• Bisimulations between generalized Veltman models and Veltman models
• Bisimulation of automata
• Tree-functors, determinacy and bisimulations
• scientific article; zbMATH DE number 7015161 (Why is no real title available?)
• A relation-algebraic theory of bisimulations
• Processes, Terms and Cycles: Steps on the Road to Infinity
• An intensional characterization of the largest bisimulation
• scientific article; zbMATH DE number 5263437 (Why is no real title available?)
• Bisimulation, games, and logic
• Towards a unified view of bisimulation: A comparative study
• Logical characterisation of parameterised bisimulations
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER
• Characterizations of biselective operations
• scientific article; zbMATH DE number 3898224 (Why is no real title available?)
• Analyzing divergence in bisimulation semantics

This page was built for publication:

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