GRASPIN An Esprit project to develop a personal software engineering environment to support the construction and verification of distributed and non-sequential software systems.