48 citations · 241 across the 30 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…