CONcurrency and Functions:
Evaluation and Reduction
Coordinator: Jean-Jacques Lévy
with technical assistance of Lone Leth and Bent Thomsen, ICL.
Sites
- Università di Bologna (Andrea Asperti)
- University of Cambridge (Robin Milner)
- CWI, Amsterdam (Jan-Willem Klop)
- University of Edinburgh (Samson Abramsky)
- Ecole Normale Supérieure (Pierre-Louis Curien)
- France Telecom -- CNET Lannion (Jean-Francois Monin)
- ICL (Bent Thomsen)
- INRIA-Rocquencourt (Jean-Jacques Lévy)
- INRIA-Sophia (Gérard Boudol)
- KTH (Joachim Parrow)
- Oxford University (David Walker)
- Università di Pisa (Ugo Montanari)
- University of Sussex (Matthew Hennessy)
Periodic Progress Reports