Raymond Kin Jeon Wong

1966

• State-based discrete-event modeling and control of concurrent systems