An Esprit project to develop a personal software engineering

environment to support the construction and verification of

distributed and non-sequential software systems.