A TLA solution to the RPC-memory specification problem

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024426 ◽

1996 ◽

pp. 21-66 ◽

Cited By ~ 3

Author(s):

Martín Abadi ◽

Leslie Lamport ◽

Stephan Merz

Download Full-text