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)
- ECRC (Bent Thomsen)
- INRIA-Rocquencourt (Jean-Jacques Lévy)
- INRIA-Sophia (Gérard Boudol)
- Università di Pisa (Ugo Montanari)
- SICS (Joachim Parrow)
Periodic Progress Reports