The Initialization Protocol

  • W. H. J. Feijen
  • A. J. M. van Gasteren
Part of the Monographs in Computer Science book series (MCS)

Abstract

Almost all of our multiprograms come with an initial state, as embodied by the precondition “Pre” in our schemes. In one way or another this initial state has to be established before any component can start executing its code. So here is a synchronization problem to be dealt with.

Keywords

Auxiliary Variable Synchronization Problem Program Counter Initialization Task Program Text 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • W. H. J. Feijen
    • 1
  • A. J. M. van Gasteren
    • 1
  1. 1.Department of Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations