Higher Order Implementation of Kahn Networks in Maude: Alternating Bit Protocol

Abstract

We implement Kahn networks in Maude system by using behavioural theory of streams and encoding higher order function types. As an example we implement the alternating bit protocol in our framework