[A2] _________________________ AMAST Links 03 01

This issue

was edited by Giuseppe Scollo, Michael Johnson, Edmund Kazmierczak, Giancarlo Ruffo and Elena Trichina, thanks to contributions by:
[M1] Bernhard Reus <reus@informatik.uni-muenchen.de>
[M2] Wiebe van der Hoek <wiebe@cs.ruu.nl>
[M3] Diego Latella <d.latella@cnuce.cnr.it>
[M4] Geert-Jan M. Kruijff <gj@ufal.ms.mff.cuni.cz>
[M4] Marco W. de Vries <marco@fwi.uva.nl>
[M5] Dagmar Harmancova <dasa@uivt.cas.cz>
[M6] Mehmet Orgun <mehmet@macadam.mpce.mq.edu.au>
[M7] Roberto Gorrieri <gorrieri@cs.unibo.it>
[M7] Mauro Gaspari <gaspari@cs.unibo.it>
[M7] Nadia Busi <busi@cs.unibo.it>
[M8] Peter Schröder-Heister <psh@hume.Informatik.Uni-Tuebingen.De>
[M9] Helene Kirchner <Helene.Kirchner@loria.fr>
[MA] Jonathan Oliver <jono@cs.monash.edu.au>
[MB] Alfredo Ferro <ferro@dipmat.unict.it>
[MC] Tiziana Margaria <tiziana@fmi.uni-passau.de>
[MD] Al Roth <alroth@pap.com>
[ME] Michael W. Mislove <mwm@math.tulane.edu>
[MF] Rolf Wanka <wanka@uni-paderborn.de>
[MG] Rom Langerak <langerak@cs.utwente.nl>
[MH] Akama Youji <akama@is.s.u-tokyo.ac.jp>
[MI] Frans Snijders <Frans.Snijders@cwi.nl>
[MJ] John Cooke <D.J.Cooke@lut.ac.uk>
[C1] Ugo Montanari <ugo@DI.Unipi.IT>
[C2] Jim Grundy <jim.grundy@abo.fi>
[C3] Mandayam Srivas <srivas@csl.sri.com>
[C4] Burgess <burgess@csl.sri.com>
[C5] Steffen Hölldobler <sh@inf.tu-dresden.de>
[C6] Alberto Broggi <broggi@CE.UniPR.IT>
[C7] Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
[C8] Christian Retore <Christian.Retore@loria.fr>
[C9] FORTE-PSTV'96 <forte@informatik.uni-kl.de>
[CA] Jesus M. Larrazabal <ilcli@sf.ehu.es>
[CB] D. Jayasimha <jayasim@cis.ohio-state.edu>
[CC] Barbara Quigley <bquigley@dimacs.rutgers.edu>
[CD] Egon Boerger <Egon.Boerger@zfe.siemens.de>
[J1] Eugenio Moggi <moggi@disi.unige.it>
[J2] Stefan Leue <sleue@swen.uwaterloo.ca>
[J3] Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
[J4] Ph. Vincke <pvincke@ulb.ac.be>
[J5] Harry Mairson <mairson@cs.brandeis.edu>
[J6] Gill Carter <gill@dcs.qmw.ac.uk>
[J7] Carla Benjamin <carla@dcs.qmw.ac.uk>
[J8] Chang-Shyh Peng <cspeng@creighton.edu>
[J9] Chang-Shyh Peng (see [J8])
[JA] Albert Camilleri <ac@gslxsrv1.rose.hp.com>
[JB] Hans Hansson <hansh@Mizar.DoCS.UU.SE>
[L1] Maurice Herlihy <mph@cs.brown.edu>
[L2] Robert A.G. Seely <rags@triples.Math.McGill.CA>
[L3] Marcelo Fiore <mf@dcs.ed.ac.uk>
[L4] Tobias Nipkow <nipkow@sunbroy14.informatik.tu-muenchen.de>
[L5] Patrice Godefroid <god@graceland.ih.att.com>
[T1] Gerard Huet <Gerard.Huet@inria.fr>
[P1] Sandeep Kumar Shukla <sandeep@cs.albany.edu>
[S1] Dan Ionescu <ionescu@elg.uottawa.ca>
[S2] Maura Cerioli <cerioli@disi.unige.it>
[S3] Zheng Zhi Jie <zheng@matilda.vut.edu.au>
[S4] Paul E. Black <black@leopard.cs.byu.edu>

This issue of AMAST Links is available in four forms:

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 .