Four issues concerning the semantics of Message Flow Graphs

Peter B. Ladkin, Stefan Leue. Four issues concerning the semantics of Message Flow Graphs. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 355-369, Chapman & Hall, 1994.

Abstract

Abstract is missing.