107 citations · 401 across the 20 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…