The following pages link to (Q4536625):
Displayed 8 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- 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)
- 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)