A comparison of Statecharts step semantics.

Andrea Maggiolo-Schettini Adriano Peron Simone Tini

Published in: Theor. Comput. Sci. (2003)

Keyphrases

post processing
formal semantics
case study
database systems
multi step
logical framework
social networks