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

Cached

Download Links

by J. C. M. Baeten , S. Mauw
Citations:27 - 7 self