A Filter Model for Concurrent $\lambda$-Calculus
DOI10.1137/S0097539794275860zbMath0916.03017MaRDI QIDQ4210114
Mariangiola Dezani-Ciancaglini, Adolfo Piperno, Ugo de'Liguoro
Publication date: 21 September 1998
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/s0097539794275860
operational semantics; parallelism; full abstraction; concurrency; nondeterminism; functional programming; powerdomain; semantics of untyped lambda calculus; type-theoretic semantics
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N15: Theory of programming languages
03B70: Logic in computer science
03G10: Logical aspects of lattices and related structures
68Q55: Semantics in the theory of computing
03B40: Combinatory logic and lambda calculus
Related Items
Uses Software