113 citations · 260 across the 57 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…