The following pages link to (Q4038716):
Displayed 9 items.
- Compositional checking of satisfaction (Q685107) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- Model checking and boolean graphs (Q1325844) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Action transducers and timed automata (Q1816917) (← links)
- Trace nets and process automata (Q1902303) (← links)
- A semantic framework for open processes (Q2463561) (← links)