scientific article; zbMATH DE number 938519

MaRDI QIDQ4896928zbMATH OpenFDO

Authors Markus Roggenbach, Mila Majster-Cederbaum

Publication date 3 February 1997

zbMATH Keywords

bisimulationcategory theory

Mathematics Subject Classification ID

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

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

(20)

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

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)