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

Cached

Download Links

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