[L9] ================================================ AMAST Links 02 06

                      Four Papers in Concurrency 

   The full version of this information is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206L9.txt

  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_ at URL: ftp://colonsay.dcs.ed.ac.uk/pub/sad

 1. _Bisimulation in higher-order calculi_.
    File: _RR-2508.ps.Z_
    at URL: ftp://colonsay.dcs.ed.ac.uk/pub/sad/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_
    at URL: ftp://colonsay.dcs.ed.ac.uk/pub/sad/RR-2515.ps.Z
    Tec.Rep. RR-2515, INRIA-Sophia Antipolis.

 3. _pi-calculus, internal mobility and agent-passing calculi_.
    File: _piI.ps.Z_
    at URL: ftp://colonsay.dcs.ed.ac.uk/pub/sad/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_
    at URL: ftp://colonsay.dcs.ed.ac.uk/pub/sad/bis-proof.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.