Pages that link to "Item:Q1327390"
From MaRDI portal
The following pages link to A fully abstract denotational model for higher-order processes (Q1327390):
Displaying 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)
