ESPRIT Project 125-GRASPIN; Technical Paper. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1989.
Abstract: In order to prepare the industrial exploitation of GRASPIN project results, SLIGOS, as a first pilot user, explored and evaluated the suitability of the net-based tools for the specification and verification of non-sequential systems. The experiments conducted concerned protocol specification for message interchange in electronis payment applications. The conclusion of these experiments is that to fully exploit all the promising results of the GRASPIN project, a technology transfer appears necessary with improvements to the GRASPIN environment.
Keywords: electronic payment system; GRASPIN; SLIGOS; message interchange.