Delayed choice: an operator for joining Message Sequence Charts (1994)

Cached

Download Links

by J. C. M. Baeten , S. Mauw
Citations:24 - 5 self

Document Versions

Delayed choice: an operator for joining Message Sequence Charts –J. C. M. Baeten, S. Mauw — 1994