J. C. M. Baeten

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Integration of Supervisory Control Synthesis in Model-Based Systems Engineering

J. C. M. Baeten and others (2016) · Studies in systems, decision and control · Springer International Publishing

Reactive Turing machines

J. C. M. Baeten and others (2013) · Information and Computation · Elsevier BV

A process-theoretic approach to supervisory control theory

J. C. M. Baeten and others (2011) · Proceedings of the 2011 American Control Conference · IEEE

Applications of Process Algebra

J. C. M. Baeten (1990) · Cambridge University Press

Process Algebra

J. C. M. Baeten and others (1990) · Cambridge University Press