next up previous

Final Report of the COST-247 Action

CONCUR2: Datatypes and processes task

Alan Jeffrey

School of Cognitive and Computing Sciences
University of Sussex
Falmer, Brighton
Sussex BNI 9QH
Tel: 44 1273 678 526
Fax: 44 1273 678 188


CONCUR2 is a an ESPRIT Basic Research Action into calculi and algebras for concurrency. One of the tasks has been to investigate the use of datatypes in modelling concurrent systems. This talk will present an informal overview of the task, with a short summary of the methodologies investigated, and the results achieved. (Alan Jeffrey is the leader of this CONCUR2 task).

This presentation has been given during the COST-247 3rd Management Committee Meeting (Evry, France, September 19--20, 1994).

COST-247 Working Group(s): 1-2

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page