Skip to main content

and
  1. No Access

    Chapter

    Coalgebra, Concurrency, and Control

    Coalgebra is used to generalize notions and techniques from concurrency theory in order to apply them to problems concerning the supervisory control of discrete event systems. The main ingredients of this appr...

    J. J. M. M. Rutten in Discrete Event Systems (2000)