21 citations · 22 across the 2 of their papers we have counts for
2 papers
math.CO2021★ 1 cited
Kernels and Small Quasi-Kernels in Digraphs
Allan van Hulst
A directed graph has a kernel if there exists an independent set such that every vertex has an ingoing arc $u\mathbin{\longrightarro…
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…