Pages that link to "Item:Q1317426"

The following pages link to A theory of communicating processes with value passing (Q1317426):

Displaying 27 items.

• Value-passing CCS with noisy channels (Q428864) (← links)
• A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
• Late and early semantics coincide for testing (Q673146) (← links)
• Communicating processes with value-passing and assignments (Q688827) (← links)
• Revisiting sequential composition in process calculi (Q890611) (← links)
• Theory of interaction (Q896903) (← links)
• Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
• A proof system for communicating processes with value-passing (Q1179808) (← 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)
• A thesis for interaction (Q2055962) (← links)
• Probabilistic bisimulations for quantum processes (Q2461794) (← links)
• A symbolic approach to value-passing processes (Q2760244) (← links)
• The Value-Passing Calculus (Q2842635) (← links)
• (Q5009413) (← links)
• Consistently-detecting monitors (Q5111620) (← links)
• (Q5111635) (← links)
• Symbolic Bisimulation for Quantum Processes (Q5169970) (← links)
• Non-deterministic structures of computation (Q5740658) (← links)
• Divergence in testing and readiness semantics (Q5958758) (← links)
• A presheaf semantics of value-passing processes (Q6104368) (← links)
• Branching bisimulation semantics for quantum processes (Q6551718) (← links)