Home

Thomas__Gehrke


An Algebraic Semantics for Message Sequence Chart Documents

Generative Sequence Diagrams with Textual Annotations