scientific article; zbMATH DE number 1746448

zbMATH Open0985.68037MaRDI QIDQ4532079FDOQ4532079

Philippe Darondeau, Benoît Caillaud, Gilles Lesventes, Loïc Hélouët

Publication date: 28 May 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670125

Title of this publication is not available (Why is that?)

Recommendations

• Infinite-state high-level MSCs: model-checking and realizability
• Realizability of high-level message sequence charts: closing the gaps
• scientific article; zbMATH DE number 1701776
• scientific article; zbMATH DE number 2086413
• Netcharts: bridging the gap between HMSCs and executable specifications.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Infinite-state high-level MSCs: model-checking and realizability
• Realizability of high-level message sequence charts: closing the gaps
• Causal message sequence charts

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532079)