On the Expressive Power of Live Sequence Charts

DOI10.1007/978-3-540-71322-7_11MaRDI QIDQ3593076zbMATH OpenOpenAlexFDO

Authors Werner Damm, Tobe Toben, Bernd Westphal

Publication date 24 September 2007

Published in Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71322-7_11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• LSCs: Breathing life into message sequence charts
• Some Results on the Expressive Power and Complexity of LSCs
• Tools and Algorithms for the Construction and Analysis of Systems
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• scientific article; zbMATH DE number 1701777

Cited in

(9)

• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• Concurrent LSC verification
• Multi-modal scenarios revisited: a net-based representation
• Some Results on the Expressive Power and Complexity of LSCs
• Modal scenarios as automata
• Tools and Algorithms for the Construction and Analysis of Systems
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• LSCs: Breathing life into message sequence charts
• Scenario-based verification of real-time systems using UPPAAL

This page was built for publication: On the Expressive Power of Live Sequence Charts

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