A hierarchy of communication models for message sequence charts
From MaRDI portal
(Redirected from Publication:701045)
Recommendations
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)