A Process Algebra Semantics for MSC Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K\'22onig, P. Langend\'22orfer (Eds.), Formale Beschreibungstechniken F\'22ur Verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.