The following pages link to (Q2754187):
Displaying 7 items.
- Realizability and verification of MSC graphs (Q1770427) (← links)
- Bounded MSC communication (Q1881218) (← links)
- Realizability of high-level message sequence charts: closing the gaps (Q1884911) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- Infinite-state high-level MSCs: model-checking and realizability (Q2495403) (← links)
- Message-passing automata are expressively equivalent to EMSO logic (Q2503037) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
