scientific article
From MaRDI portal
Publication:4005177
zbMath0757.68054MaRDI QIDQ4005177
Paola Inverardi, Corrado Priami
Publication date: 27 September 1992
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
Automatizing parametric reasoning on distributed concurrent systems, Equivalence checking 40 years after: a review of bisimulation tools, Extended transition systems for parametric bisimulation, Compositionality in state space verification methods, Deciding observational congruence of finite-state CCS expressions by rewriting, A CCS-based investigation of deadlock in a multi-process electronic mail system
