On the power of cooperative concurrency

On the power of bounded concurrency I: finite automata

Journal of the ACM (JACM)

Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

On efficient program synthesis from statecharts

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

Statecharts in the making: a personal account

Proceedings of the third ACM SIGPLAN conference on History of programming languages

Viewcharts: Syntax and Semantics

Informatica

A new method for describing the syntax and semantics of VIEWCHARTS

ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking