'Super up2' diaporamas de présentation

Solution to Exercise M2

Solution to Exercise M2. Graph-based Operational Semantics. M2.1: Generate the accepted sequences of events. dial(n). current. on(). 0. Idle. Dialing or Talking. off(). end. off(). on(). Talking. trans. s1. s1. x. x. current. a. a. a. end. s2. s2. y. end. current.

200 views • 5 slides