A TLA Solution to the RPC-Memory Specification Problem

Martín Abadi, Leslie Lamport, Stephan Merz. A TLA Solution to the RPC-Memory Specification Problem. In Manfred Broy, Stephan Merz, Katharina Spies, editors, Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Volume 1169 of Lecture Notes in Computer Science, pages 21-66, Springer, 1994.

Authors

Martín Abadi

This author has not been identified. It may be one of the following persons: Look up 'Martín Abadi' in Google

Leslie Lamport

This author has not been identified. Look up 'Leslie Lamport' in Google

Stephan Merz

This author has not been identified. It may be one of the following persons: Look up 'Stephan Merz' in Google