A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.

Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic

Browse the full ISORC paper archive.