Pages that link to "Item:Q701045"
From MaRDI portal
The following pages link to A hierarchy of communication models for message sequence charts (Q701045):
Displaying 11 items.
- Pattern matching and membership for hierarchical message sequence charts (Q927396) (← links)
- Bounded MSC communication (Q1881218) (← links)
- Realizability of high-level message sequence charts: closing the gaps (Q1884911) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Revisiting Semantics of Interactions for Trace Validity Analysis (Q5039546) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Multiple Synchrony in MSC (Q5179361) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703776) (← links)
- Lectures on Concurrency and Petri Nets (Q5712292) (← links)