Modeling reactive systems with statecharts
by Harel, David, Politi, Michal
fromITPro collection
by Harel, David, Politi, Michal
fromITPro collection
by Harel, David, Politi, Michal
fromSoftware development series
A description of a UML-like modeling system for designers who need to express the inner workings of complex real-time reactive applications. --
by Abadi, Martín, Cardelli, Luca
fromMonographs in Computer Science
by Abadi, Martín, Cardelli, Luca
fromMonographs in Computer Science