Pages that link to "Item:Q5044732"

The following pages link to From π-calculus to higher-order π-calculus — and back (Q5044732):

Displaying 23 items.

• First-order reasoning for higher-order concurrency (Q456466) (← links)
• \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
• A functional presentation of pi calculus (Q865929) (← links)
• Theory of interaction (Q896903) (← links)
• A simple calculus for proteins and cells (Q953549) (← links)
• Partial confluence of processes and systems of objects (Q1274970) (← links)
• The \(\pi\)-calculus in direct style (Q1290334) (← links)
• On the decidability of process equivalences for the \(\pi\)-calculus (Q1391099) (← links)
• A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
• Decoding choice encodings (Q1854385) (← links)
• Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
• Variations on mobile processes (Q1960530) (← links)
• A thesis for interaction (Q2055962) (← links)
• On the relative expressiveness of higher-order session processes (Q2272988) (← links)
• A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
• A CPS encoding of name-passing in higher-order mobile embedded resources (Q2848140) (← links)
• A reflective higher-order calculus (Q2863844) (← links)
• Expressiveness of process algebras (Q2870198) (← links)
• (Q5111635) (← links)
• A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
• The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
• A generic type system for higher-order \(\Psi\)-calculi (Q6614878) (← links)