A TLA Solution to the RPC-Memory Specification Problem

Abstract

We present a complete solution to the Broy Lamport speci cation problem Our speci cations are written in TLA a formal lan guage based on TLA We give the high levels of structured proofs and sketch the lower levels which will appear in full elsewhere 
DOI: 10.1007/BFb0024426

Topics

Cite this paper

@inproceedings{Abadi1994ATS, title={A TLA Solution to the RPC-Memory Specification Problem}, author={Mart{\'i}n Abadi and Leslie Lamport and Stephan Merz}, booktitle={Formal Systems Specification}, year={1994} }