Formal Systems Specification
Broy, Manfred / Spies, Katharina / Merz, Stephan![Formal Systems Specification](https://support.digitalhusky.com/media/annotations/sorted/330/3305331/CHSBZCOP033305331.jpg)
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 formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in Septem...