Formal characterisation of immediate actions in SPA with non-deterministic branching (1995)

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