Benutzer: Gast  Login
Titel:

A Denotational Model for Mobile Point-to-Point Dataflow Networks

Dokumenttyp:
Technical Report
Autor(en):
Radu Grosu; Ketil Stoelen
Abstract:
We present a denotational model for mobile, timed, unbounded nondeterministic dataflow networks whose components communicate in a point-to-point fashion. We first introduce a model for static, point-to-point dataflow networks. In this model components and networks of components are represented by sets of strongly pulse-driven stream processing functions. A stream processing function is strongly pulse-driven if its output until time j+1 is completely determined by its input until time j. This mod...     »
Stichworte:
Mobility; Metric Spaces; Point-to-Point Communication
Jahr:
1995
Jahr / Monat:
1995-10-01 00:00:00
Seiten/Umfang:
39
 BibTeX