Delayed choice : an operator for joining Message Sequence Charts
J. C. M. Baeten, Sjouke Mauw · TU/e Research Portal · 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.