Using CSP T to Describe a Timing Constrained Stop and Wait Protocol

@inproceedings{Zic1993UsingCT,
  title={Using CSP T to Describe a Timing Constrained Stop and Wait Protocol},
  author={John Zic},
  year={1993}
}
This paper presents a novel description of a time-constrained stop and wait protocol using an extended CSP model. The timing constraints examined include the usual message transit delay, as well as message input rate limitations and message timeouts. The extended CSP model used for this example is based on associating nite time intervals with each event the… CONTINUE READING