• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Systems Specification: The Rpc-Memory Specification Case Study

Formal Systems Specification: The Rpc-Memory Specification Case Study

Paperback

Series: Lecture Notes in Computer Science, Book 1169

General ComputersNetworkingProgramming

ISBN10: 3540619844
ISBN13: 9783540619840
Publisher: Springer Nature
Published: Nov 6 1996
Pages: 543
Weight: 1.74
Height: 1.16 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Networking