Pages that link to "Item:Q1317426"
From MaRDI portal
The following pages link to A theory of communicating processes with value passing (Q1317426):
Displayed 12 items.
- Late and early semantics coincide for testing (Q673146) (← links)
- Communicating processes with value-passing and assignments (Q688827) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)