Next: Introduction
Up: ProCoS II
A ProCoS II Project Description:
ESPRIT Basic Research project 7071
Jonathan Bowen et al.
Oxford University Computing Laboratory
Programming Research Group
Wolfson Building
Parks Road
OXFORD OX1 3QD
UK
Tel: +44-865-273838 (283512 direct)
Fax: +44-865-273839
Email:
procos-request@comlab.ox.ac.uk
Abstract:
An overview of the current and planned activities of the ESPRIT Basic
Research ProCoS II project
(no. 7071) on ``Provably Correct Systems'' is presented. This is a
follow-on project to (no. 3104) previously announced in the
Bulletin of the EATCS [4] and subsequently
reported elsewhere (e.g., see
[3]
[5]
[31]).
A selected bibliography
for both phases of the project is included.