Footnotes
- (1)
- This
is a revised and expanded version of [].
- (2)
- Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France
- (3)
- Laboratory for Foundations of Computer Science, University of Edinburgh, UK
- (4)
- Institute of Informatics, Warsaw University and
Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland
CoFI
Note: M-4 -- Version: Submitted for publication -- 27 November 2000.
Comments to dts@dcs.ed.ac.uk
