Title: Statecharts via process algebra
Subjects: Mathematical models, Computerized simulation, Semantics, Algebra