The following pages link to A theory of regular MSC languages (Q2573333):
Displaying 7 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Causal message sequence charts (Q843103) (← links)
- Muller message-passing automata and logics (Q948076) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Synthesis and Analysis of Petri Nets from Causal Specifications (Q6487344) (← links)
