GRASPIN

GRASPIN

An Esprit project to develop a personal software engineering environment to support the construction and verification of distributed and non-sequential software systems.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)