Minimizing the number of transitions with respect to observation equivalence

DOI10.1007/BF01933173zbMath0738.68061MaRDI QIDQ1182610

Jaana Eloranta

Publication date: 28 June 1992

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

uniquenessminimizationlabeled transition systemsobservation equivalence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Compositional failure-based semantic models for basic LOTOS, The dynamics of defect ensembles in one-dimensional cellular automata, Conflict-preserving abstraction of discrete event systems using annotated automata, Essential transitions to bisimulation equivalences, A survey on compositional algorithms for verification and synthesis in supervisory control, Compositionality in state space verification methods, Minimizing the number of transitions with respect to observation equivalence, Limited approximate bisimulations and the corresponding rough approximations, The quest for minimal quotients for probabilistic and Markov automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation and divergence
• An implementation of an efficient algorithm for bisimulation equivalence
• Extensional equivalences for transition systems
• Minimizing the number of transitions with respect to observation equivalence
• A Theory of Communicating Sequential Processes
• Three Partition Refinement Algorithms
• Formal verification of parallel programs