Formal Systems Specification: The Rpc-Memory Specification Case Study

by S. Merz

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540619844
• ISBN13: 9783540619840
• Release Date: November 1996
• Publisher: Springer
• Length: 543 Pages
• Weight: 1.74 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"