This service is more advanced with JavaScript available, learn more at http://activatejavascript.org

Formal Systems Specification pp 1-4 | Cite as

The RPC-memory specification problem problem statement

Authors
Authors and affiliations

Manfred Broy
Leslie Lamport

Conference paper

First Online: 18 June 2005

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1169)

This is a preview of subscription content, to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

Manfred Broy
Leslie Lamport

There are no affiliations available

About this paper

Cite this paper as:: Broy M., Lamport L. (1996) The RPC-memory specification problem problem statement. In: Broy M., Merz S., Spies K. (eds) Formal Systems Specification. Lecture Notes in Computer Science, vol 1169. Springer, Berlin, Heidelberg

DOI https://doi.org/10.1007/BFb0024424
Publisher Name Springer, Berlin, Heidelberg
Print ISBN 978-3-540-61984-0
Online ISBN 978-3-540-49573-4
eBook Packages Springer Book Archive

Personalised recommendations

Actions

Instant download
Readable on all devices
Own it forever
Local sales tax included if applicable

Cite paper