The following pages link to (Q4038716):
Displaying 15 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)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Tiles for Reo (Q3184723) (← links)
- Automatic synthesis of real time systems (Q4645208) (← links)
