An Algebraic Semantics for Message Sequence Chart Documents.

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim

Browse the full FORTE paper archive.