Abstract is missing.
- The RPC-Memory Specification Problem - Problem StatementManfred Broy, Leslie Lamport. 1-4
- The RPC-Memory Case Study: A SynopsisManfred Broy, Stephan Merz, Katharina Spies. 5-20
- A TLA Solution to the RPC-Memory Specification ProblemMartín Abadi, Leslie Lamport, Stephan Merz. 21-66
- A Dynamic Specification of the RPC-Memory ProblemEgidio Astesiano, Gianna Reggio. 67-108
- A Memory Module Specification Using Composable High-Level Petri NetsEike Best. 109-159
- Constraint Oriented Temporal Logic SpecificationJohan Blom, Bengt Jonsson. 161-182
- A Functional Solution to the RPC-Memory Specification ProblemManfred Broy. 183-211
- A Solution Relying on the Model Checking of Boolean Transition SystemsJorge Cuéllar, Dieter Barnard, Martin Huber. 213-251
- Applying a Temporal Logic to the RPC-Memory Specification ProblemReinhard Gotzhein. 253-273
- Using PVS for an Assertional Verification of the RPC-Memory Specification ProblemJozef Hooman. 275-304
- Specification and Verification Using a Visual Formalism on Top of Temporal LogicHardi Hungar. 305-339
- A Case Study in Verification Based on Trace AbstractionsNils Klarlund, Mogens Nielsen, Kim Sunesen. 341-373
- Incremental Specification with Joint Actions: The RPC-Memory Specification ProblemReino Kurki-Suonio. 375-404
- The Methodology of Modal ConstraintsKim Guldstrand Larsen, Bernhard Steffen, Carsten Weise. 405-435
- Tackling the RPC-Memory Specification Problem with I/O AutomataJudi Romijn. 437-475
- Using Relations to Solve the RPC-Memory Specification ProblemKetil Stølen. 477-520
- The RPC-Memory Specification Problem: UNITY+Refinement CalculusRob T. Udink, Joost N. Kok. 521-540