Formal Systems Specification:
The RPC-Memory Specification Case Study
LNCS 1169

Please note:
A Lecture Notes in Computer Science volume on the RPC-Memory Specification Problem is now available from Springer-Verlag or your local bookstore. Its title is

  • Manfred Broy, Stephan Merz, Katharina Spies
    Formal Systems Specification -- The RPC-Memory Specification Case Study
    November 1996.     (ISBN 3-540-61984-4)
    •

    Click on the book to find more information and the abstracts

    LNCS 1169

    Katharina Spies, 17-01-1997 , working at
    Department IV of Computer Science at the Technical University Munich