Pages that link to "Item:Q2857729"
From MaRDI portal
The following pages link to Programming distributed computing systems. A foundational approach (Q2857729):
Displaying 6 items.
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Introduction to Reliable and Secure Distributed Programming (Q3078444) (← links)
- A programming model and foundation for lineage-based distributed computation (Q4577814) (← links)
- Programming for Distributed Computing: From Physical to Logical Networks (Q5397500) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)