M. Broy and L. Lamport. The rpc-memory specification problem. This volume. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (2 citations) Self-citation (Lamport) (Correct)
No context found.
Manfred Broy and Leslie Lamport. The RPC-memory specification problem. In this volume. Also available on [4].
A TLA Solution to the RPC-Memory Specification Problem - Mart'in Abadi Leslie (1996) (2 citations) Self-citation (Lamport) (Correct)
..... 36 References : 44 Index : 46 2 Introduction Broy and Lamport have proposed a specification and verification problem [5]. It calls for specifying simple memory and RPC (remote procedure call) components, and proving the correctness of two simple implementations. We present a complete solution to this problem using TLA, the temporal logic of actions [12] We assume the reader is familiar with Broy and Lamport s ....
Manfred Broy and Leslie Lamport. The RPC-memory specification problem. In this volume. Also available on [4].
A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (2 citations) Self-citation (Lamport) (Correct)
..... 36 References : 43 Index : 2 Introduction Broy and Lamport have proposed a specification and verification problem [5]. It calls for specifying simple memory and RPC (remote procedure call) components, and proving the correctness of two simple implementations. We present a complete solution to this problem using TLA, the temporal logic of actions [12] We assume the reader is familiar with Broy and Lamport s ....
Manfred Broy and Leslie Lamport. The RPC-memory specification problem. In this volume. Also available on [4]. 44
A TLA Solution to the RPC-Memory Specification Problem - Abadi, Lamport, Merz (1996) (2 citations) Self-citation (Lamport) (Correct)
....specification problem. Our specifications are written in TLA , a formal language based on TLA. We give the high levels of structured proofs and sketch the lower levels, which will appear in full elsewhere. Introduction Broy and Lamport have proposed a specification and verification problem [5]. It calls for specifying simple memory and RPC (remote procedure call) components, and proving the correctness of two simple implementations. We present a complete solution to this problem using TLA, the temporal logic of actions [12] We assume the reader is familiar with Broy and Lamport s ....
Manfred Broy and Leslie Lamport. The RPC-memory specification problem. In this volume. Also available on [4]. 64
Using Relations on Streams to Solve the RPC-Memory.. - Stølen (1996) (Correct)
No context found.
M. Broy and L. Lamport. The rpc-memory specification problem. This volume.
Using Relations on Streams to Solve the RPC-Memory.. - Stølen (1996) (1 citation) (Correct)
No context found.
M. Broy and L. Lamport. The rpc-memory specification problem. This volume.
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