The following pages link to (Q4727411):
Displaying 6 items.
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs (Q5428915) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)