an:01223739
Zbl 0910.03019
Merro, Massimo; Sangiorgi, Davide
On asynchrony in name-passing calculi
EN
Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 856-867 (1998).
1998
a
03B70 03B40
process calculi; asynchronous \(\pi\)-calculus; call-by-name \(\lambda\)-calculus; Join-calculus
Summary: We study an asynchronous \(\pi\)-calculus, called Local \(\pi\) \((\text{L}\pi)\), where: (a) only the output capability of names may be transmitted; (b) there is no matching or similar constructs. We study the basic operational and algebraic theory of \(\text{L}\pi\) and show some applications: the derivability of delayed input; the correctness of an optimization of the encoding of call-by-name \(\lambda\)-calculus; the validity of some laws for the Join-calculus.
For the entire collection see [Zbl 0893.00039].