A filter model for concurrent λ-calculus

SIAM Journal on Computing

Volumn 27, Issue 5, 1998, Pages 1376-1419

  Dezani Ciancaglin, Mariangiola ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Concurrency; Full abstraction; Functional programming; Nondeterminism; Parallelism; calculus

Indexed keywords

EID: 0000734514     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/s0097539794275860     Document Type: Article

References (4)

1. M. ABADI, A semantics for static type inference in a nondeterministic language, Inform, and Comput., 109 (1994), pp. 300-306.
2. S. ABRAMSKY, On semantic foundations for applicative multiprogramming, in Lecture Notes in Comput. Sci. 154, Springer-Verlag, New York, 1983, pp. 1-14.
3. S. ABRAMSKY, Observation equivalence as testing equivalence, Theoret. Comput. Sci., 53 (1987), pp. 225-241.
4. S. ABRAMSKY, The Lazy Lambda Calculus, Research Topics in Functional Programming, D. Turner, ed., Addison-Wesley, Reading, MA, 1989, pp. 65-116.