On asynchrony in name-passing calculi
- 1 January 1999
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 14 (5) , 715-767
- https://doi.org/10.1017/s0960129504004323
Abstract
The asynchronous -calculus; the validity of some laws for Join; the soundness of Thielecke's axiomatic semantics of the Continuation Passing Style calculus.Keywords
This publication has 0 references indexed in Scilit: