scientific article
From MaRDI portal
Publication:4027619
zbMath0759.68059MaRDI QIDQ4027619
Gérard Boudol, Kim Guldstrand Larsen
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hennessy-Milner logicLarsen-Thomsen's modal transition systemsspecification formalisms and verification methods for concurrent systems
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
The expressive power of implicit specifications ⋮ Automatic verification of distributed systems: the process algebra approach. ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Refinement checking on parametric modal transition systems
This page was built for publication:
