Modularity and Composition in Propositional Statecharts.

Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally

Browse the full DIAGRAMS paper archive.