Pages that link to "Item:Q792078"
From MaRDI portal
The following pages link to A proof system for concurrent ADA programs (Q792078):
Displaying 6 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
