scientific article; zbMATH DE number 1746448

MaRDI QIDQ4532079zbMATH OpenFDO

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

Publication date 28 May 2002

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

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)

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.

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)