Pages that link to "Item:Q1400720"

The following pages link to A fully abstract model for the \(\pi\)-calculus. (Q1400720):

Displaying 35 items.

• A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
• Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
• A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
• An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
• About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
• On the construction of free algebras for equational systems (Q1014644) (← links)
• A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
• A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174) (← links)
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
• Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
• A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
• Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
• Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
• A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
• Comparing operational models of name-passing process calculi (Q2495643) (← links)
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
• Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
• Two cotensors in one: presentations of algebraic theories for local state and fresh names (Q2805171) (← links)
• A name abstraction functor for named sets (Q2873662) (← links)
• Weak Bisimilarity Coalgebraically (Q2888485) (← links)
• Families of symmetries as efficient models of resource binding (Q2919450) (← links)
• A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
• A Category of Explicit Fusions (Q3507388) (← links)
• (Q4362963) (← links)
• (Q4596786) (← links)
• First–order Semantics for Higher–order Processes (Q4921509) (← links)
• (Q5089301) (← links)
• How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
• An intensionally fully-abstract sheaf model for \(\pi\) (Q5275345) (← links)
• Foundations of Software Science and Computational Structures (Q5705870) (← links)
• Foundations of Software Science and Computational Structures (Q5705882) (← links)
• Automata, Languages and Programming (Q5716865) (← links)
• A Resource Analysis of the π-calculus (Q5739364) (← links)