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