21 citations · 38 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 21 cited
A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst +1
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studie…
cs.LO2011★ 3 cited
Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
We propose reactive Turing machines (RTMs), extending classical Turing machines with a process-theoretical notion of interaction, and use it to define a notion of executable transi…