Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Radu Grosu; Ketil Stoelen; Manfred Broy 
Titel:
A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing 
Abstract:
We present a fully abstract, denotational model for mobile, timed, nondeterministic data-flow networks whose components communicate in a point-to-point 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 pulse-driven and privacy preserving. A function is strongly pulse-driven if it is contractive with respect to the metric on streams. This property guarantees the existence...    »
 
Stichworte:
Denotational Model; Data-flow; Input/Output Relation; Mobile System; Point-to-point Communication; Timing 
Jahr:
1997 
Jahr / Monat:
1997-05-01 00:00:00 
Seiten/Umfang:
34