Pages that link to "Item:Q671684"

The following pages link to \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684):

Displaying 50 items.

• Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
• Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
• A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• Fundamentals of session types (Q714736) (← links)
• Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
• A functional presentation of pi calculus (Q865929) (← links)
• A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
• Theory of interaction (Q896903) (← links)
• On the expressiveness of interaction (Q960859) (← links)
• Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
• Linearity and bisimulation (Q997996) (← links)
• Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
• On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
• Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
• A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
• Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
• Choreographies, logically (Q1699421) (← links)
• Decoding choice encodings (Q1854385) (← links)
• Tau laws for pi calculus (Q1884877) (← links)
• Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
• Variations on mobile processes (Q1960530) (← links)
• The name discipline of uniform receptiveness (Q1960533) (← links)
• Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
• The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
• Eager functions as processes (Q2123050) (← links)
• Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
• On the relative expressiveness of higher-order session processes (Q2272988) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• An interpretation of CCS into ludics (Q2333316) (← links)
• Linear forwarders (Q2384926) (← links)
• Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
• Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
• Leader election in rings of ambient processes (Q2491642) (← links)
• Explicit fusions (Q2566040) (← links)
• On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
• Encoding Generic Judgments (Q2841234) (← links)
• Matching Systems for Concurrent Calculi (Q2864374) (← links)
• Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
• Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
• HOCore in Coq (Q2945640) (← links)
• A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
• The λ-calculus in the π-calculus (Q3094164) (← links)
• On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
• Nominal SOS (Q3178277) (← links)
• (Q5089025) (← links)
• Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
• (Q5111635) (← links)