CO-OPN for specifying a distributed termination detection algorithm
Buchs, Didier; Mourlin, Fabrice; Safavi, Lorens
1993

Files

Abstract

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.

Details

Title CO-OPN for specifying a distributed termination detection algorithm
Author(s) Buchs, Didier ; Mourlin, Fabrice ; Safavi, Lorens
Published in Software Engineering for Parallel Systems, Germany, September 20-24 1993
Volume 3
Conference World Transputer Congress in Aachen
Date 1993
Publisher IOS Press
Keywords
Laboratories LGL
Record Appears in Scientific production and competences > Archives > I&C - School of Computer and Communication Sciences > LGL - Software Engineering Laboratory
Conference Papers
Work produced at EPFL
Published

Actions