The following pages link to (Q3709867):
Displayed 10 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- A logical view of composition (Q685416) (← links)
- A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)