Changelog: Calculi for Mobile Processes

06-10-30

updated URL for Björn Victor

06-07-19

updated URL for Daniele Gorla and Pawel Wojciechowski

03-06-24

added URL for Gabriel Ciobanu, Lorenzo Bettini, Fabio Gadducci,
updated URL for Davide Sangiorgi, Barbara König, and Piccola

03-03-14

added URL for Daniele Gorla, PROFUNDIS, and an Ambient tool
updated URL for Catuscia Palamidessi, Dale Miller

03-01-15

added URL for Andrea Valente, Huimin Lin, Johannes Borgström, Benjamin Aziz, Claus Pahl
added URL for Behave, BPMI, BioSPI, Nomadic Pict Resources, OBC
updated URL for Massimo Merro, Nobuko Yoshida, Otmane Ait-Mohamed, Gheorghe Stefanescu

02-05-14

updated URL for Marco Pistore
updated Email for Bent Thomsen, Lone Leth, Jose-Luis Vivas

02-01-14

updated URL for Joachim Parrow

01-12-19

added URL for Franz Achermann
updated URL for Martín Abadi, Anna Philippou, Corrado Priami

01-10-26

added URL for CMI
added URL for Cristian Ene, Henk Goeman
removed URL to Gordond's Ambit, Gordon's Spi Calculus, and Sangiorgi's Intro-paper
updated URL for Davide Sangiorgi, Roberto Amadio, Silvano Dal-Zilio, James Riely, Peter Selinger

01-06-14

added URL to Feret's Abstract Interpreter
updated URL for AmbientOnline and the Types Mailinglist Home

01-06-01

updated URL for Wojciechowski

01-05-28

added URL for CRYPTYC and the new pi-book
updated URL for Sassone

01-02-24

added URL for Brian Ross
added URL of Moca-list and the STA-tool
updated URL for Hirschkoff
hint to the updated version of Silvano's bibliography

01-02-08

added URL for Martin Berger, Chiara Bodei, Asis Unyapoth
added URL for Spi-Calculus and Kobayashi Lab
updated URL for Philippa Gardner, Simon Gay, Massimo Merro,
updated URL for Christine Röckl, Nobuko Yoshida
updated URL for Peter Sewell's intro paper

00-10-17

moved the pages to EPFL and changed some respective local links

00-09-01

too much new stuff & too many changes to list here ...
but: note the new section on "Instances" !

00-06-06

cosmetics

00-05-26

added URL for Jerome Feret, Cédric Lhoussaine, Vladimiro Sassone, Pawel Wojciechowski
updated URL for Martín Abadi, MOSCOVA (PARA), MIMOSA (MEIJE), TyCO

00-02-08

added URL for a new introduction article
added URL for Luca Cattani, Philippa Gardner, Furio Honsell, Marino Miculan,
added URL for Rosario Pugliese, Ivan Scagnetto, Glynn Winskel, Lucian Wischik
added URL for Luís Caires, Luís Lopes
updated URL for Michele Boreale, Silvano Dal-Zilio

99-12-06

added URL for Anna Philippou
updated URL for Nobuko Yoshida

99-09-13

added URL for Barbara König
updated URL for Joachim Parrow and Facile

99-07-27

updated the Intro-section
added URL for the MOB group at TU München, Nomadic Pict
udated URL Martin Odersky, Corrado Priami, CONFER-2, Mozart Oz

99-05-12

updated the Intro-section
added URL for Daniel Hirschkoff
udated URL for Sanjiva Prasad

99-03-30

a new top-level URL
added URL for Guiseppe Castagna, James Riely, Jan Vitek
udated URL for Cédric Fournet

99-01-04

added URL for Hanne Riis Nielson
udated URL for Kohei Honda, Alan Jeffrey

98-09-22

added URL for Fabrice Le Fessant, Christine Röckl, Jose Luis Vivas
added URL for Concurrency and Mobility Group @ Firenze
updated URL for Nobuko Yoshida, Benjamin Pierce

98-06-17

added URL for Matthew Hennessy, Alan Jeffrey, Julian Rathke, and TyCO
updated URL for Pierpaolo Degano, David Walker, and the concurrency mailing-List

98-04-22

updated Honda's annotated bibliography
updated URL for Massimo Merro and Andy Gordon

98-04-14

added reference to Honda's revised annotated bibliography
added reference to the EATCS Bulltin text on the mobility resources
added URL for António Ravara and Massimo Merro

98-02-02

mobile moose-processes desynchronized
updated URL for Franck van Breugel and the MWB
added URL for Brahim Mammass

98-01-16

updated URL for Luca Cardelli & Ambit

98-01-13

a new logo ...
added URL for Akinori Yonezawa, Xiaogang Zhang, Ny-Klubben, Mobility @ Uppsala
updated URL for Dale Miller, Catuscia Palamidessi, Corrado Priami, Ian Stark, Peter Selinger,

97-10-16

prepared for moving to new location
removed reference to Honda's Selected Bibliography on Mobile Processes, which is currently being updated
added URL for Gianluigi Bellin, Luca Cardelli, Ole Jensen, Tokoro Lab
updated URL for Gérard Boudol, Uwe Nestmann

97-08-28

added URL for Stefania Gnesi, Kohei Honda, Nobuko Yoshida, Action Calculi
updated URL for Michele Boreale

97-07-31

added URL for Ian Stark, Franck van Breugel, Ambit
updated URL for Paola Quaglia
updated pi.bib and pi-bib.dvi

97-06-19

added URL for Honda's Selected Bibliography on Mobile Processes
added URL for Tatsurou Sekiguchi and his mobile computing page
updated URL for the Join Calculus, now at INRIA's site
added URL to my personal TCS hotlist (with announcements and publication facilities)

97-06-02

updated URL for Andy Gordon (was pointing to the spi-calculus, not to the homepage)
validation now for HTML-3.2:

97-05-13

added URL for Otmane Ait-Mohamed

97-04-17

added URL for James Leifer
updated Yonezawa Lab (now with papers)
validated the page for Netscape-HTML:

97-04-07

added URLs for Naoki Kobayashi, Simon Gay, Yonezawa Lab
updated URLs for Martín Abadi, Ilaria Castellani, Martin Odersky, Gerald Ostheimer, Pisa group
removed URLs for Bent Thomsen, Lone Leth, Otmane Ait-Mohamed, Xinxin Liu

97-03-11

cosmetics

97-03-10

added for new entries, and a link to the history

97-03-05

added URL for Rocco De Nicola