Benutzer: Gast  Login
Titel:

A Denotational Model for Mobile Many-to-Many Data-flow Networks

Dokumenttyp:
Technical Report
Autor(en):
Radu Grosu; Ketil Stølen
Abstract:
We present a fully abstract, denotational model for mobile, timed, nondeterministic data-flow networks whose components communicate in a many-to-many fashion. In this model components and networks of components are represented by sets of stream processing functions. Each stream processing function is required to be strongly guarded and generic. A stream processing function is strongly guarded if it is contractive with respect to the standard metric on streams. This property guarantees the existe...     »
Jahr:
1996
Jahr / Monat:
1996-05-01 00:00:00
Seiten/Umfang:
34
 BibTeX