The following pages link to A semantics for timed MSC (Q2841319):
Displaying 6 items.
- Time consistency of MSC-2000 specifications. (Q1400422) (← links)
- Semantics of timed message sequence charts (Q1406345) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- (Q2779792) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- A Timed Mobility Semantics Based on Rewriting Strategies (Q4899686) (← links)