A hierarchy of communication models for message sequence charts

DOI10.1016/S0167-6423(02)00022-9MaRDI QIDQ701045zbMATH OpenOpenAlexFDO

Authors Andreas Gerhardus Engels, Sjouke Mauw, Michel A. Reniers

Publication date 16 October 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00022-9

zbMATH Keywords

hierarchysemanticsvalidationimplementationbufferingcommunication modelsmessage sequence charts

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2087438
• scientific article; zbMATH DE number 1701776
• scientific article; zbMATH DE number 1759427
• The theory of message sequence charts

Cited in

(24)

• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1701776 (Why is no real title available?)
• Multiple synchrony in MSC
• scientific article; zbMATH DE number 1951542 (Why is no real title available?)
• Quantitative analysis of communication scenarios
• Programming Languages and Systems
• A modular framework for verifying versatile distributed systems
• On the preservation of properties when changing communication models
• Bounded MSC communication
• Dynamic communicating automata and branching high-level MSCs
• Synthesis of Reo circuits from scenario-based specifications
• Revisiting Semantics of Interactions for Trace Validity Analysis
• scientific article; zbMATH DE number 1954389 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 2086239 (Why is no real title available?)
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• A formal communicating specification for the multiple R\&D supply chains
• Realizability of high-level message sequence charts: closing the gaps
• Timed semantics of message sequence charts based on timed automata
• Pattern matching and membership for hierarchical message sequence charts
• Detecting Races in Ensembles of Message Sequence Charts
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 2087438 (Why is no real title available?)

This page was built for publication: A hierarchy of communication models for message sequence charts

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