Supervisory control for nondeterministic systems

This publication has 5 references indexed in Scilit:

• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Concurrency and discrete event control
  IEEE Control Systems Magazine, 1990
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• The control of discrete event systems
  Proceedings of the IEEE, 1989
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984