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
Progressive events in supervisory control and compositional verification, Using partial orders for the efficient verification of deadlock freedom and safety properties, Iterating transducers, Compositional verification of asynchronous concurrent systems using CADP