Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. CO-OPN for specifying a distributed termination detection algorithm
 
conference paper

CO-OPN for specifying a distributed termination detection algorithm

Buchs, Didier  
•
Mourlin, Fabrice
•
Safavi, Lorens
1993
Software Engineering for Parallel Systems, Germany, September 20-24 1993
World Transputer Congress in Aachen

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.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

buchs-distributedtermination.ps

Access type

openaccess

Size

169.17 KB

Format

Postscript

Checksum (MD5)

e0ac40c73e5cc951e01f520d42bcb8c8

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés