A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing based parallel programs. The paper describes the extension of GRADE with formal method support based on Petri nets composition. . We outline specification composition, directly associated with application composition as well as the integration of specification and implementation of program development.doi:10.1109/empdp.1999.746670 dblp:conf/pdp/TsiatsoulisDCK99 fatcat:zxutqp6ueza47poun7yi2l7juy