Delayed choice: an operator for joining Message Sequence Charts

@inproceedings{Baeten1994DelayedCA,
  title={Delayed choice: an operator for joining Message Sequence Charts},
  author={Jos C. M. Baeten and Sjouke Mauw},
  booktitle={FORTE},
  year={1994}
}
We study the extension of a simple process algebra with the delayed choice operator. It differs from the normal non-deterministic choice in that the moment of choice is delayed until all alternatives can be distinguished by their first action. An application is in joining Message Sequence Charts. 

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 26 CITATIONS

References

Publications referenced by this paper.