2010-02-01
Higher Order Implementation of Kahn Networks in Maude: Alternating Bit Protocol
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| , , | |
| CWI | |
| Software Engineering [SEN] | |
| Mending the Unending: Machine Assisted Reasoning with Infinite Objects | |
| Organisation | Computer Security |
|
Niqui, M. (2010). Higher Order Implementation of Kahn Networks in Maude: Alternating Bit Protocol. Software Engineering [SEN]. CWI. |
|
