Ketil Stølen  Home/Search
Context
Related
| www4.in.tum.de/pub...96_Publication.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 employ a specification and refinementtechnique based on streams to solve the RPC-memory specification problem. Streams are used to represent the communication histories of channels. We distinguish between input and output streams. Each input stream represents the communication history of an input channel# each output stream represents the communication history of an output channel. Specifications are relations between input and output streams. These relations are expressed as logical... (Update)
Similar documents (at the sentence level):
79.6%: Using Relations on Streams to Solve the RPC-Memory.. - Stølen (1996) (Correct)
Active bibliography (related documents): More All
0.5: Theorem Proving in Higher Order Logics - Carreņo, Muņoz, Tahar (2002) (Correct)
0.1: A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (Correct)
0.1: A Refinement Relation Supporting the Transition from Unbounded .. - Stølen (1995) (Correct)
Similar documents based on text: More All
0.3: Compositional Specification of Mobile Systems - Grosu, Stølen (1997) (Correct)
0.3: A Model for Mobile Point-to-Point Data-flow Networks.. - Grosu, Stølen (1996) (Correct)
0.2: Refinement Principles - Supporting The Transition (1996) (Correct)
BibTeX entry: (Update)
@misc{ len-using,
author = "Ketil Stølen",
title = "Using Relations on Streams to Solve the RPC-Memory Specification Problem",
url = "citeseer.ist.psu.edu/645488.html" }
Citations (may not include all citations):302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
274 The existence of refinement mappings - Abadi, Lamport - 1988
168 ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1995
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
115 The design of distributed systems --- an introduction to Foc.. (context) - Broy, Dederichs et al. - 1993
34 Denotational models for parallel programs with indeterminate.. (context) - Keller - 1978
32 A fully abstract semantics for data flow nets (context) - Kok - 1987
14 problem and nondeterministic computing networks (context) - Park, fairness - 1983
6 The rpc-memory specification problem (context) - Broy, Lamport
2 Assumptioncommitment rule data flownetwork with emphasi .. (context) - Assumption, for et al. - 1996
1 Focus --- a method for the developmentofinteractive systems (context) - Broy, Stlen - 1996
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