Pages that link to "Item:Q4194422"
From MaRDI portal
The following pages link to High level programming for distributed computing (Q4194422):
Displaying 6 items.
- A software architecture for distributed computer control systems (Q595575) (← links)
- Data flow analysis of distributed communicating processes (Q751233) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Towards a language for concurrent processes (Q3681919) (← links)
