Pages that link to "Item:Q1898459"

The following pages link to Algebraic theories for name-passing calculi (Q1898459):

Displaying 32 items.

• On quasi-open bisimulation (Q557789) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
• Towards an algebraic theory of typed mobile processes (Q817843) (← links)
• A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
• Theory of interaction (Q896903) (← links)
• Reaction graph (Q1273068) (← links)
• On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
• Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
• A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
• A complexity analysis of bisimilarity for value-passing processes (Q1575255) (← links)
• Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
• Testing congruence for mobile processes (Q1599646) (← links)
• A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
• Proof systems for message-passing process algebras (Q1815341) (← links)
• Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
• Tau laws for pi calculus (Q1884877) (← links)
• Variations on mobile processes (Q1960530) (← links)
• Inference systems for observation equivalences in the \(\pi\)-calculus (Q1974214) (← links)
• A thesis for interaction (Q2055962) (← links)
• The Value-Passing Calculus (Q2842635) (← links)
• A congruence format for name-passing calculi (Q2852102) (← links)
• Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
• The λ-calculus in the π-calculus (Q3094164) (← links)
• A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
• (Q4608683) (← links)
• Complete inference systems for weak bisimulation equivalences in the π-calculus (Q5096731) (← links)
• Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
• Mechanisms for naming an algebraic approach with an application to Java (Q5929013) (← links)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
• On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)
• Constraints as processes (Q6104383) (← links)