scientific article
From MaRDI portal
Publication:4036589
zbMath0786.68055MaRDI QIDQ4036589
Luca Aceto, Matthew C. B. Hennessy
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Bounded concurrency ⋮ Towards the hierarchical verification of reactive systems ⋮ A reduced maximality labeled transition system generation for recursive Petri nets ⋮ \(\tau\)-bisimulations and full abstraction for refinement of actions ⋮ Bisimulation and action refinement ⋮ Refinement of actions in event structures and causal trees
This page was built for publication:
