[L9] _________________________ AMAST Links 02 06

Four Papers in Concurrency

The full version of this information is available.

The following four papers are now availabile via anonymous ftp from colonsay.dcs.ed.ac.uk, in the subdirectory pub/sad -- thus via the WWW from the ftp directory .

1. Bisimulation in higher-order calculi. File: RR-2508.ps.Z . Tec.Rep. RR-2508, INRIA-Sophia Antipolis. Revised version of the homonym paper appeared in the proc. IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94), North Holland, 1994
2. Lazy functions and mobile processes. File: RR-2515.ps.Z . Tec.Rep. RR-2515, INRIA-Sophia Antipolis.
3. pi-calculus, internal mobility and agent-passing calculi. File: piI.ps.Z . Tec.Rep. RR-2539, INRIA-Sophia Antipolis. Extracts of parts of the material contained in this paper can be found in the Proceedings of TAPSOFT'95 and ICALP'95.
4. On the bisimulation proof method. File: piI.ps.Z . Revised version of Tec.Rep. ECS--LFCS--94--299, University of Edinburgh, 1994. A summary is to appear in proc. MFCS'95, LNCS.