A Process Algebra Semantics for MSC Including Conditions

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim. A Process Algebra Semantics for MSC Including Conditions. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 185-196, Verlag Shaker, 1998.

Abstract

Abstract is missing.