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)

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

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)