T.: Formal characterisation of immediate actions in spa with nondeterministic branching (1995)

by H Hermanns, M Rettelbach, Weiss
Venue:The Computer Journal