Compositional message sequence charts

DOI10.1007/3-540-45319-9_34MaRDI QIDQ2769610zbMATH OpenFDO

Authors Elsa Gunter, Anca Muscholl, Doron Peled

Publication date 5 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Lectures on Concurrency and Petri Nets
• Infinite-state high-level MSCs: model-checking and realizability
• A hierarchy of communication models for message sequence charts
• scientific article; zbMATH DE number 1754631
• A semantic and methodological essence of message sequence charts

Cited in

(32)

• Bounded MSC communication
• Broadcast MSCs
• Realizability of high-level message sequence charts: closing the gaps
• Reasoning about layered message passing systems
• Interpreting message flow graphs
• Realisability of pomsets
• Infinite-state high-level MSCs: model-checking and realizability
• A Kleene theorem and model checking algorithms for existentially bounded communicating automata
• scientific article; zbMATH DE number 1728524 (Why is no real title available?)
• scientific article; zbMATH DE number 1729257 (Why is no real title available?)
• Specification and verification using message sequence charts
• Timed semantics of message sequence charts based on timed automata
• Quantitative analysis of communication scenarios
• scientific article; zbMATH DE number 2086239 (Why is no real title available?)
• scientific article; zbMATH DE number 1956501 (Why is no real title available?)
• scientific article; zbMATH DE number 1980918 (Why is no real title available?)
• scientific article; zbMATH DE number 1746448 (Why is no real title available?)
• scientific article; zbMATH DE number 1754631 (Why is no real title available?)
• On the composition of Tunstall messages
• scientific article; zbMATH DE number 2087438 (Why is no real title available?)
• An event structure based semantics for high-level message sequence charts
• Multiple synchrony in MSC
• Fundamental Approaches to Software Engineering
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Tools and Algorithms for the Construction and Analysis of Systems
• Lectures on Concurrency and Petri Nets
• Lectures on Concurrency and Petri Nets
• Netcharts: bridging the gap between HMSCs and executable specifications.
• High-level message sequence charts and projections.
• A hierarchy of communication models for message sequence charts
• Causal message sequence charts
• Pattern matching and membership for hierarchical message sequence charts

This page was built for publication: Compositional message sequence charts

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