|
| 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 |
| E-mail: alanje@cogs.susx.ac.uk |
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