GRASPIN

GRASPIN

An Esprit project to develop a personal software engineeringenvironment to support the construction and verification ofdistributed and non-sequential software systems.