Pages that link to "Item:Q1605174"

The following pages link to A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174):

Displaying 27 items.

• A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
• Models for name-passing processes: Interleaving and causal (Q598191) (← links)
• A multiset semantics for the pi-calculus with replication (Q672867) (← links)
• An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
• Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
• A fully abstract denotational model for higher-order processes (Q1327390) (← links)
• A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
• A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← 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)
• A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
• Weak Bisimilarity Coalgebraically (Q2888485) (← links)
• An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus (Q2915182) (← links)
• Nominal Automata with Name Binding (Q2988364) (← links)
• Contracts for Mobile Processes (Q3184675) (← links)
• (Q4365103) (← links)
• (Q4501679) (← links)
• A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
• (Q4596786) (← links)
• (Q5089301) (← links)
• An intensionally fully-abstract sheaf model for \(\pi\) (Q5275345) (← links)
• Trustworthy Global Computing (Q5394792) (← links)
• Foundations of Software Science and Computational Structures (Q5705882) (← links)
• Automata, Languages and Programming (Q5716865) (← links)
• A Resource Analysis of the π-calculus (Q5739364) (← links)
• A fully abstract denotational model for observational precongruence (Q5940916) (← links)