Date: 25 May 2005

An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract)

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We study a fully abstract semantics for (nondeterministic) dataflow based on streams. Kahn formulated a restriction for nodes such that the history model is compositional and can be obtained by an iteration procedure. The main result of this paper is such a restriction for the stream model. We use metric topology to formulate the restriction and to show that the stream model for this restricted set can be obtained by iteration.