The following pages link to (Q4024006):
Displayed 6 items.
- Formal verification of a programming logic for a distributed programming language (Q1285659) (← links)
- SIR: Inter-program concurrency support for SR programs (Q1398333) (← links)
- Fairness in shared invocation servicing (Q1398337) (← links)
- A survey of concurrent object-oriented languages (Q4789967) (← links)
- A comparison of concurrent programming and cooperative multithreading (Q4794720) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)