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 5 items.
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Timed Semantics of Message Sequence Charts Based on Timed Automata (Q2842583) (← 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)
