The following pages link to (Q3731019):
Displaying 8 items.
- A proof system for distributed processes (Q1106014) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A compositional proof system for distributed programs (Q4560363) (← links)
- A proof system for asynchronously communicating deterministic processes (Q5096883) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
