scientific article; zbMATH DE number 938519
From MaRDI portal
Publication:4896928
zbMATH Open0856.68108MaRDI QIDQ4896928FDOQ4896928
Authors: Markus Roggenbach, Mila Majster-Cederbaum 
Publication date: 3 February 1997
Title of this publication is not available (Why is that?)
Recommendations
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)
Cited In (18)
- Characteristic classes and bisimulations of generalized Veltman models
- On Bisimilarity and Substitution in Presence of Replication
- Bisimulations between generalized Veltman models and Veltman models
- Tree-functors, determinacy and bisimulations
- Bisimulation of automata
- Title not available (Why is that?)
- Processes, Terms and Cycles: Steps on the Road to Infinity
- A relation-algebraic theory of bisimulations
- An intensional characterization of the largest bisimulation
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Analyzing divergence in bisimulation semantics
- New Bisimulation Semantics for Distributed Systems
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)
