Publication:4037383
From MaRDI portal
zbMath0765.68123MaRDI QIDQ4037383
Susanne Graf, Bernhard Steffen
Publication date: 18 May 1993
reduction operator; observational equivalence; preorder relation; interface specification; minimal transition system; verification of finite state concurrent systems; undefinedness predicates
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities, Progressive events in supervisory control and compositional verification, A framework for compositional nonblocking verification of extended finite-state machines, Compositional synthesis of supervisors in the form of state machines and state maps, Using partial orders for the efficient verification of deadlock freedom and safety properties, Iterating transducers, On the computation of counterexamples in compositional nonblocking verification, Cartesian difference categories, Compositional verification of asynchronous concurrent systems using CADP, Compositional Failure-based Equivalence of Constraint Automata, Compositional Reasoning