UML Statecharts Compositional Semantics in LOTOS.

Rafal Mrowka, Tomasz Szmuc

Browse the full ISPDC paper archive.