9 citations · 18 across the 11 of their papers we have counts for
1 paper · 1 filter
Roland Meyer, Sebastian Muskalla, Georg Zetzsche
We study valence systems, finite-control programs over infinite-state memories modeled in terms of graph monoids. Our contribution is a notion of bounded context switching (BCS). V…