Hierarchical finite state machines with multiple concurrency models

Alain Girault, Bilung Lee, Edward A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(6):742-760, 1999. [doi]

Authors

Alain Girault

This author has not been identified. Look up 'Alain Girault' in Google

Bilung Lee

This author has not been identified. Look up 'Bilung Lee' in Google

Edward A. Lee

This author has not been identified. Look up 'Edward A. Lee' in Google