52 citations · 269 across the 38 of their papers we have counts for
1 paper · 1 filter
Patricia Bouyer, Nicolas Markey, Joël Ouaknine +2
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of…