\input zb-basic
\input zb-ioport
\iteman{io-port 05498381}
\itemau{Agrigoroaiei, Oana; Ciobanu, Gabriel}
\itemti{Non-interleaving semantics with causality for nondeterministic dataflow.}
\itemso{Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing -- ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1--3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 66-80 (2008).}
\itemab
Summary: We present a denotational model of nondeterministic dataflow in which an explicit notion of causality is introduced. We define a set of labelled flows over a set of fixed channels and two orders which induce cpo structures. Labelled flows are based on a conflict relation which allows to express several behaviours (configurations) at once. A netflow is a continuous function over configurations used to represent a dataflow network. We use a form of Galois connection in which such a function is the upper adjoint to correlate the possible outputs with their causes. The feedback operation is defined using a fixed point construction. Russell's example is used to show how this formal approach solves causal anomalies of nondeterministic dataflow.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-85762-4\_5}
\end