A Compositional Semantics for Statecharts using Labeled Transition Systems.

Andrew C. Uselton, Scott A. Smolka

Browse the full CONCUR paper archive.