The following pages link to Distributed processes (Q4174727):
Displaying 18 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)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- Programming of parallel processors in control spaces (Q3677163) (← links)
- Towards a language for concurrent processes (Q3681919) (← links)
- Communicating parallel processes (Q3694671) (← links)
- Message passing between sequential processes: The reply primitive and the administrator concept (Q3920630) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)
