The following pages link to (Q4723289):
Displaying 6 items.
- A contract-based approach to adaptivity (Q541295) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- A compositional axiomatization of statecharts (Q1194330) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← links)
