scientific article; zbMATH DE number 1746448
From MaRDI portal
Publication:4532079
zbMath0985.68037MaRDI QIDQ4532079
Benoît Caillaud, Gilles Lesventes, Loïc Hélouët, Philippe Darondeau
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670125
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Realizability of high-level message sequence charts: closing the gaps ⋮ Causal message sequence charts ⋮ Infinite-state high-level MSCs: model-checking and realizability
This page was built for publication:
