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 ...

INTRODUCTION. Message Sequence Charts provide a graphical method for the description of the interac- tions between system components.

Delayed choice : an operator for joining Message Sequence Charts. (Computing science reports; Vol. 9435). Technische Universiteit Eindhoven. Document status ...

This work studies the extension of a simple process algebra with the delayed choice operator, which differs from the normal non-deterministic choice in that ...

Original language, English. Place of Publication, Eindhoven. Publisher, Technische Universiteit Eindhoven. Number of pages, 15.

Summary: This work studies the extension of a simple process algebra with the delayed choice operator, which differs from the normal non-deterministic ...

Jos C. M. Baeten, Sjouke Mauw: Delayed choice: an operator for joining Message Sequence Charts. FORTE 1994: 340-354. a service of Schloss Dagstuhl - Leibniz ...

The delayed choice between processes x and y, is the process obtained by joining the common initial parts of x and y and continuing with a non-deterministic ...

The delayed choice is an operator that allows one to express linear time aspects in a branching time process algebra. It was introduced in [3] for a basic ...

Delayed choice: an operator for joining Message Sequence Charts. Conference ... Delayed choice: An operator for joining Message Sequence Charts. Article.