Charts and nets: States, Messages, and Events Tony Hoare In honour of David Harel Vienna July 2014 Events basic actions and method calls that occur during execution of a…