Fully abstract semantics for concurrent -calculus

DOI10.1007/3-540-57887-0_88MaRDI QIDQ4490718zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_88

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• Fully abstract denotational models for nonuniform concurrent languages
• Full abstraction for lambda calculus with resources and convergence testing
• Full abstraction in the lazy lambda calculus
• Abstract interpretation of trace semantics for concurrent calculi
• Fully abstract submodels of typed lambda calculi
• Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines
• A Filter Model for Concurrent \lambda-Calculus
• A fully abstract semantics for concurrent constraint programming
• Full abstraction for polymorphic \(\pi \)-calculus
• scientific article; zbMATH DE number 92601

Cited in

(18)

• Full abstractness for a functional/concurrent language with higher-order value-passing
• Fully abstract semantics for observably sequential languages
• Abstract interpretation of trace semantics for concurrent calculi
• A curry-style semantics of interaction: from untyped to second-order lazy -calculus
• scientific article; zbMATH DE number 1614713 (Why is no real title available?)
• Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
• Mobile Processes and Termination
• A Filter Model for Concurrent \lambda-Calculus
• Full abstractness for a functional/concurrent language with higher-order value-passing. (Extended abstract)
• Higher-order processes and their models
• A fully-abstract semantics of in the -calculus
• May and must convergency in concurrent λ-calculus
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Frontiers of Combining Systems
• A fully abstract may testing semantics for concurrent objects
• Full abstraction for lambda calculus with resources and convergence testing
• A concurrent lambda calculus with futures
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: Fully abstract semantics for concurrent \(\lambda\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490718)