Pages that link to "Item:Q1327390"

The following pages link to A fully abstract denotational model for higher-order processes (Q1327390):

Displayed 17 items.

• \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) ‎ (← links)
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) ‎ (← links)
• Prime algebraicity (Q843107) ‎ (← links)
• A proof-theoretic characterization of observational equivalence (Q1060006) ‎ (← links)
• Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) ‎ (← links)
• A conservative look at operational semantics with variable binding (Q1273877) ‎ (← 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)
• Domain theory for concurrency (Q1434357) ‎ (← links)
• Discrimination by parallel observers: the algorithm. (Q1854269) ‎ (← links)
• A Fully Abstract Model for Mobile Ambients (Q2841277) ‎ (← links)
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) ‎ (← links)
• Higher-order processes and their models (Q4632434) ‎ (← links)
• First–order Semantics for Higher–order Processes (Q4921509) ‎ (← links)
• Reasoning about higher-order processes (Q5096732) ‎ (← links)
• A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) ‎ (← links)
• Recursive equations in higher-order process calculi (Q5958778) ‎ (← links)