C-six: constructing a coinductive and compositional calculus of component connectors

Note that the presentation exceptionally will be given on a Wednesday.

We present an abstract version of (a fragment of) Reo, a framework for building component connectors out of channels, recently introduced by Farhad Arbab A relational model will be constructed in terms of streams, that is, infinite sequences. The set of all streams is a final coalgebra and therewith comes equipped with coinduction definition and proof principles. One of the crucial features of Reo is the fact that through subtle timing, various coordination patters can be established. This will be captured in our model by considering not only data streams but also so-called time streams. Thus we shall have a double benefit of our coinductive machinery: it applies both to data and to time streams.  

hosted by