scientific article; zbMATH DE number 2087438

MaRDI QIDQ4738233zbMATH OpenFDO

Authors Markus Lohrey, Anca Muscholl

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2303/23030295.htm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Bounded MSC communication
• A hierarchy of communication models for message sequence charts
• Infinite-state high-level MSCs: model-checking and realizability
• scientific article; zbMATH DE number 1701776
• scientific article; zbMATH DE number 2086413

Cited in

(8)

• Bounded MSC communication
• Quantitative analysis of communication scenarios
• scientific article; zbMATH DE number 1754631 (Why is no real title available?)
• scientific article; zbMATH DE number 2086413 (Why is no real title available?)
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Weakly synchronous systems with three machines are Turing powerful
• A hierarchy of communication models for 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 Q4738233)