Delayed choice: an operator for joining Message Sequence Charts (1994)
by
J. C. M. Baeten
,
S. Mauw
| Citations: | 22 - 5 self |
Document Versions
| Delayed choice: an operator for joining Message Sequence Charts –J. C. M. Baeten, S. Mauw — 1994 |
