Pages that link to "Item:Q4194422"
From MaRDI portal
The following pages link to High level programming for distributed computing (Q4194422):
Displaying 4 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)
