scientific article
From MaRDI portal
Publication:4037383
zbMath0765.68123MaRDI QIDQ4037383
Susanne Graf, Bernhard Steffen
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reduction operatorobservational equivalencepreorder relationinterface specificationminimal transition systemverification of finite state concurrent systemsundefinedness predicates
Related Items (14)
Compositional Reasoning ⋮ Compositional verification of concurrent systems by combining bisimulations ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ On the computation of counterexamples in compositional nonblocking verification ⋮ Cartesian difference categories ⋮ Compositional synthesis of supervisors in the form of state machines and state maps ⋮ Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities ⋮ Using partial orders for the efficient verification of deadlock freedom and safety properties ⋮ Compositional Failure-based Equivalence of Constraint Automata ⋮ Progressive events in supervisory control and compositional verification ⋮ Iterating transducers ⋮ Compositional verification of asynchronous concurrent systems using CADP ⋮ A framework for compositional nonblocking verification of extended finite-state machines
This page was built for publication:
