The following pages link to (Q4535064):
Displaying 7 items.
- Pattern matching and membership for hierarchical message sequence charts (Q927396) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata (Q2496297) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Specification and Verification using Message Sequence Charts (Q2841317) (← links)
- Quantitative Analysis of Communication Scenarios (Q2945583) (← links)
