Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Broy, M., 1949-, Merz, Stephan, Spies, Katharina
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, ©1996.
Series:	Lecture notes in computer science ; 1169.
Subjects:	Electronic data processing > Distributed processing. Computer networks. Memory management (Computer science)