[A2] ================================================ AMAST Links 02 06

                              This issue

was edited by Giuseppe Scollo, Michael Johnson, Edmund Kazmierczak and
Arie van Deursen, thanks to contributions by:

   [M1] Anton Nijholt <anijholt@cs.utwente.nl>
   [M2] David L. Parnas <parnas@triose.crl.mcmaster.ca>
   [M3] Andrea Corradini <segragra@di.unipi.it>
   [M4] Ugo Montanari <ugo@di.unipi.it>
   [M5] Rowena Hart <rowena@softwords.bc.ca>
   [M5] Jihad Jaam <gil@lim.univ-mrs.fr>
   [M7] Bernard Courtois <Bernard.Courtois@imag.fr>
   [M8] Ming Li <mli@math.uwaterloo.ca>
   [M9] Falko Bause <bause@yvonne.informatik.uni-dortmund.de>
   [MA] Richard Gerber <rich@cs.umd.edu>
   [MB] Jan Heering <Jan.Heering@cwi.nl>
   [MC] Phil Windley <windley@cs.byu.edu>
   [MD] Jose D. P. Rolim <rolim@cui.unige.ch>
   [ME] Ana Rosa Cavalli <Ana.Cavalli@hugo.int-evry.fr>
   [MF] Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
   [MG] Jiri Wiedermann <wieder@uivt.cas.cz>
   [MH] Simon Peyton-Jones <simonpj@dcs.gla.ac.uk>
   [MI] Harry Rudin <hr@zurich.ibm.com>
   [C1] AMAST'96 Organization <amast96-info@informatik.uni-muenchen.de>
   [C2] Dan Ionescu <ionescu@trix.genie.uottawa.ca>
   [C3] Roberto Gorrieri <gorrieri@cs.unibo.it>
   [C4] CMAA'96 Organization <cmaa@math.vanderbilt.edu>
   [C5] Helene Kirchner <Helene.Kirchner@loria.fr>
   [C6] Margje Punt <margje@cs.ruu.nl>
   [C7] Jose A. Manas <pepe@dit.upm.es>
   [C8] Rolf Wanka <icalp96@uni-paderborn.de>
   [C9] Stephan Kepser <kepser@cis.uni-muenchen.de>
   [CA] Peter Schroeder-Heister <psh@hume.informatik.uni-tuebingen.de>
   [CB] ugo tab <tab96@dsi.unimi.it>
   [CC] Richard Muise <rmuise@dragon.acadiau.ca>
   [CD] Lesley Semmens <L.Semmens@lmu.ac.uk>
   [CE] Robert Harper <Robert_Harper@terrier.fox.cs.cmu.edu>
   [CF] James Harland <jah@cs.rmit.edu.au>
   [CG] Vladimiro Sassone <vladi@daimi.aau.dk>
   [CG] Bengt Nordstrom <bengt@cs.chalmers.se>
   [J1] Abbas Edalat <ae@doc.ic.ac.uk>
   [J2] Cris Calude <cristian@cs.auckland.ac.nz>
   [J3] Gerard Holzmann <gerard@research.att.com>
   [J4] --- <bixby@pivot.cam.rice.edu>
   [J5] Bengt Jonsson <bengt@elaine.docs.uu.se>
   [J6] Matthew Hennessy <matthewh@cogs.susx.ac.uk>
   [J7] Indiana U. CS Faculty Search <search@cs.indiana.edu>
   [J8] Roy L. Crole <rlc3@mcs.le.ac.uk>
   [J9] --- <anthony@vax.lse.ac.uk>
   [JA] Jiming Liu <jiming@kingfish.att.com>
   [JB] Jiming Liu (see [JA])
   [JC] Dominique Mery <Dominique.Mery@loria.fr>
   [JD] Jose Manuel E. Valenca <jmv@di.uminho.pt>
   [L1] Tobias Nipkow <tobias.nipkow@informatik.tu-muenchen.de>
   [L2] Uffe Engberg <engberg@daimi.aau.dk>
   [L3] Luc Longpre <longpre@cs.utep.edu>
   [L4] Yves Lafont <lafont@lmd.univ-mrs.fr>
   [L5] Stefano Guerrini <guerrini@di.unipi.it>
   [L6] Maurice Herlihy <mph@cs.brown.edu>
   [L7] Thomas Streicher <streicher@mathematik.th-darmstadt.de>
   [L8] James Otto <otto@triples.math.mcgill.ca>
   [L9] Davide Sangiorgi <davide@duick.cma.fr>
   [LA] Gert Smolka <smolka@dfki.uni-sb.de>
   [LB] Edmund Kazmierczak <eka@cs.uq.oz.au>
   [LC] Yves Lafont (see [L4])
   [LD] Lawrence C Paulson (see [MF])
   [T1] Edmund Kazmierczak (see [LB])
   [T2] James Harland (see [CF])
   [T3] Jose Manuel E. Valenca (see [JD])
   [T4] Coq Team <coq@pauillac.inria.fr>
   [P1] Jerzy Tyszkiewicz <jurek@mephisto.informatik.rwth-aachen.de>
   [P2] Bjarne Toft <btoft@imada.ou.dk>
   [P3] Thomas Streicher (see [L7])
   [S1] Jan Rossmann <rossmann@ti.uni-trier.de>
   [S2] Luca Cardelli <luca@src.dec.com>
   [S3] Todd Wareham <harold@csr.uvic.ca>
   [S4] Baltzer Science Publishers <publish@baltzer.nl>

  This issue of AMAST Links is available in four forms:
 o  a collection of hypertext files, available on the WWW at URL:
    http://www.cs.utwente.nl/data/amast/links/v02/i06/AL0206-ToC.html
    for the ToC-page, where links give access to individual pages;
 o  a single hypertext file, available on the WWW at URL:
    http://www.cs.utwente.nl/data/amast/links/v02/i06/AL0206.html
 o  a collection of plain-text files, one per page, each separately
    available (+) (see below)
 o  a single plain-text file available by e-mail as well as 
       (+)  within the AMAST directory of the Twente WWW server, at URL
       http://www.cs.utwente.nl/data/amast/links/v02/i06/AL0206<pp>.txt
    where `<pp>' is either `-ToC' (for the ToC-page),or the 2-character
    page identifier (for one-page files), or empty (whole-issue file).
  *Note:* This issue will also be available, in all of its four forms,
by anonymous ftp from the AMAST repository at the University of Twente.
File names will be the same as above, but under the _ftp directory_ at
URL: ftp://ftp.cs.utwente.nl/pub/doc/amast/links/v02/i06/ 

[end] =============================================== AMAST Links 02 06