Home
DCC eCatalog
S.__Mauw
An algebraic semantics of Basic Message Sequence Charts
