The following pages link to Distributed processes (Q4174727):
Displaying 13 items.
- A software architecture for distributed computer control systems (Q595575) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- Port automata and the algebra of concurrent porcesses (Q791319) (← links)
- A proof system for distributed processes (Q1106014) (← links)
- Modeling a solution for a control problem in distributed systems by restrictions (Q1143170) (← links)
- Parallelism in alpha-beta search (Q1167551) (← links)
- Optimal networks for distributing nonsequential programs (Q1173398) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions (Q1813353) (← links)
- A fault-tolerant file management algorithm in distributed computer system ``THUDS'' (Q1822952) (← links)
- Monitors with associated processors (Q3048220) (← links)
- An experiment in language design for distributed systems (Q3330492) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
