Sciweavers

FASE
2005
Springer
13 years 9 months ago
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
Arjan J. Mooij, Nicolae Goga, Judi Romijn