The following pages link to (Q4038734):
Displayed 15 items.
- From CML to its process algebra (Q672132) (← links)
- PiDuce- A project for experimenting web services technologies (Q838158) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Assigning types to processes (Q1854525) (← links)
- Linear forwarders (Q2384926) (← links)
- The fork calculus (Q4630290) (← links)
- Higher-order processes and their models (Q4632434) (← links)
- Causality for mobile processes (Q4645219) (← links)
- From a concurrent λ-calculus to the π-calculus (Q5055881) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- Constraints for polymorphic behaviours of concurrent ML (Q5096301) (← links)
- Reasoning about higher-order processes (Q5096732) (← links)
- Static and dynamic processor allocation for higher-order concurrent languages (Q5096756) (← links)