Delayed choice: an operator for joining Message Sequence Charts [chapter]

J. C. M. Baeten, S. Mauw
1995 IFIP Advances in Information and Communication Technology  
We study the extension of a simple process algebra with the delayed choice operator. It di ers from the normal non-deterministic choice in that the moment of choice is delayed until all alternatives can be distinguished by their rst action. An application is in joining Message Sequence Charts.
doi:10.1007/978-0-387-34878-0_27 fatcat:zywngba5znhshmowzvbt3fvray