Advertisement

The Control Flow During Execution of the Alternating Bit Protocol Specified by the Cause-Effect Structure

  • Ludwik CzajaEmail author
Chapter
  • 665 Downloads
Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 27)

Abstract

Flow of control during activity of the Alternating Bit Protocol (ABP) (Barlett et al. 1969), will be illustrated as a flow of tokens in a cause/effect (c/e) structure that specifies this control flow.

References

  1. Barlett, K. A., Sclantlebury, R. A., & Wilkinson, P. T. (1969). A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5), 260–261.CrossRefGoogle Scholar
  2. Czaja, L. (1988). Cause-effect structures. Information Processing Letters, 26, 313–319.MathSciNetCrossRefzbMATHGoogle Scholar
  3. Czaja, L. (2002). Elementary cause-effect structures. Wydawnictwa Uniwersytetu Warszawskiego.Google Scholar
  4. Raczunas, M. (1993). Remarks on the equivalence of c-e structures and Petri nets. Information Processing Letters, 45, 165–169.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Vistula UniversityWarsawPoland
  2. 2.Institute of InformaticsUniversity of WarsawWarsawPoland

Personalised recommendations