A hierarchy of communication models for message sequence charts
From MaRDI portal
Publication:701045
DOI10.1016/S0167-6423(02)00022-9zbMATH Open1014.68040OpenAlexW2896471304MaRDI QIDQ701045FDOQ701045
Sjouke Mauw, Andreas Gerhardus Engels, 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
Recommendations
Cited In (22)
- Tools and Algorithms for the Construction and Analysis of Systems
- Title not available (Why is that?)
- Synthesis of Reo Circuits from Scenario-based Specifications
- Title not available (Why is that?)
- Programming Languages and Systems
- On the preservation of properties when changing communication models
- A modular framework for verifying versatile distributed systems
- Bounded MSC communication
- Revisiting Semantics of Interactions for Trace Validity Analysis
- Lectures on Concurrency and Petri Nets
- Title not available (Why is that?)
- CONCUR 2004 - Concurrency Theory
- Title not available (Why is that?)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
- A formal communicating specification for the multiple R\&D supply chains
- Multiple Synchrony in MSC
- Timed semantics of message sequence charts based on timed automata
- Realizability of high-level message sequence charts: closing the gaps
- Detecting Races in Ensembles of Message Sequence Charts
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Pattern matching and membership for hierarchical message sequence charts
- Title not available (Why is that?)
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)
