On the Expressive Power of Live Sequence Charts

DOI10.1007/978-3-540-71322-7_11zbMATH Open1149.68403OpenAlexW1887388188MaRDI QIDQ3593076FDOQ3593076

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

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

Mathematics Subject Classification ID

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

Cited In (9)

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

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)