EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

Modular supervisory control of discrete-event systems

W.M. Wonham, Peter J. Ramadge · Mathematics of Control Signals and Systems · 1988 · 336 citations

Engineering, Systems Engineering, Process Control +9

Evaluating deadlock detection methods for concurrent software

James C. Corbett · IEEE Transactions on Software Engineering · 1996 · 230 citations

Computing, Computer Science, Algorithms +16