Publication:4036589
From MaRDI portal
zbMath0786.68055MaRDI QIDQ4036589
Luca Aceto, Matthew C. B. Hennessy
Publication date: 18 May 1993
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Towards the hierarchical verification of reactive systems, Bisimulation and action refinement, Refinement of actions in event structures and causal trees, A reduced maximality labeled transition system generation for recursive Petri nets, \(\tau\)-bisimulations and full abstraction for refinement of actions