CO-OPN for specifying a distributed termination detection algorithm

The SANDS environment along with the CO-OPN specification formalisms are presented. The latter permitting specification of data types and concurrency through the use of modular algebraic specifications and structured algebraic nets based upon an object oriented approach. System specification will be demonstrated through an ascending distributed termination detection algorithm. Major aspects of the environment and the CO-OPN formalism will be discussed.


Published in:
Software Engineering for Parallel Systems, Germany, September 20-24 1993, 3
Presented at:
World Transputer Congress in Aachen
Year:
1993
Publisher:
IOS Press
Keywords:
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)