Radu Grosu, Ketil Stølen, Manfred Broy  Home/Search
Context Related
| www4.in.tum.de/pub...enBroyTUMI9724.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 ... (Update)
Context of citations to this paper: More
...messages. Abstracting too much from this information not only destroys compositionality but also reduces the expressive power. In [GS95] we proposed a timed model for the history based approach where components are described with sets of functions. This model is compositional...
.... processing functions, for which a multitude of tractable specification techniques for untimed as well as for timed systems exist ( GS95a] BDD 93] Moreover, for stream processing functions a powerful theory for compositional refinement has been developed. By using an...
Cited by: More
A Denotational Model for Mobile Point-to-Point.. - Grosu, Stølen.. (1997) (Correct)
Compositional Specification of Mobile Systems - Grosu, Stølen (1997) (Correct)
Enhancing the SYSLAB System Model with State - Grosu, Klein, Rumpe (1996) (Correct)
Similar documents (at the sentence level):
25.2%: A Model for Mobile Point-to-Point Data-flow Networks.. - Grosu, Stølen (1996) (Correct)
13.8%: A Denotational Model for Mobile Point-to-Point Dataflow Networks - Grosu, Stølen (1995) (Correct)
6.6%: Concurrent Timed Port Automata - Grosu, Rumpe (1995) (Correct)
Active bibliography (related documents): More All
0.6: Stream Based Specification of Mobile Systems - Grosu, Stølen (1999) (Correct)
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Focusing on Mobility - Bergner, Grosu, Rausch, Schmidt.. (1999) (Correct)
Similar documents based on text: More All
0.7: "Anwendungsbezogene Lastverteilung" ALV'98 - Bode, Ganz, (eds.) (1998) (Correct)
0.6: Verification Diagrams for Dataflow Properties - Breitling, Philipps (2000) (Correct)
0.6: Transitions into Black Box Views - The NetBill Protocol.. - Breitling, Philipps (2000) (Correct)
Related documents from co-citation: More All
12: Information and Computation (context) - Milner, Parrow et al. - 1992
10: A fully abstract semantics for data flow nets (context) - Kok - 1987
10: The design of distributed systems --- an introduction to FOCUS (context) - Broy, Dederichs et al. - 1992
BibTeX entry: (Update)
R. Grosu and K. Stølen. A denotational model for mobile point-to-point dataflow networks. Technical Report SFB 342/14/95 A, Technische Universitat Munchen, 1995. http://citeseer.ist.psu.edu/grosu97denotational.html More
@techreport{ grosu97denotational,
author = "Radu Grosu and Ketil St{\o}len and Manfred Broy",
title = "A Denotational Model for Mobile Point-to-Point Data-flow Networks with
Channel Sharing",
pages = "34",
year = "1997",
url = "citeseer.ist.psu.edu/grosu97denotational.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
854 Information and Computation (context) - Milner, Parrow et al. - 1992
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1991
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
214 An Ideal Model for RecursivePolymorphic Types (context) - MacQueen, Plotkin et al. - 1986
159 The chemical abstract machine (context) - Berry, Boudol - 1990
61 Technical Report ECS-LFCS (context) - Milner - 1992
60 Towards a theory of actor computation (context) - Agha, Mason et al. - 1992
56 Janus: A step towards distributed constraint programming (context) - Saraswat, Kahn et al. - 1990
50 A calculus of communicating systems with labelpassing - Engberg, Nielsen - 1986
32 A fully abstract semantics for data flow nets (context) - Kok - 1987
31 Denotational semantics of a parallel object-oriented languag.. (context) - America, de Bakker et al. - 1989
30 Introduction to metric and topological spaces (context) - Sutherland - 1975
23 A fully abstract trace model for dataflow networks (context) - Jonsson - 1989
20 PWN --- Polish Scientific Publishers (context) - Engelking - 1977
19 Semantics of finite and infinite networks of concurrent comm.. (context) - Broy - 1987
17 A denotational model for mobile point-to-point dataflow netw.. - Grosu, Stlen - 1995
15 Modelling operating system structures by timed stream proces.. - Broy, Dendorfer - 1992
15 Equations for describing dynamic nets of communicating syste.. - Broy - 1995
11 A Formal Foundation for Concurrent Object Oriented Programmi.. - Grosu - 1994
11 On oraclizable networks and Kahn's principle (context) - Russell - 1990
10 Advanced componentinterface specification - Broy - 1995
5 A denotational model for mobile many-to-many dataflow networ.. (context) - Grosu, Stlen - 1995
3 Denotational semantics of concurrency (context) - de Bakker, Zucker - 1982
1 Scenarios: A model of non-determinate computation (context) - BrockandW, Ackermann - 1981
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC