Dagstuhl Seminar Formal Systems Specification 1994

Manfred Broy, Stephan Merz, Katharina Spies (Eds.): Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Lecture Notes in Computer Science 1169 Springer 1996, ISBN 3-540-61984-4 BibTeX

@proceedings{DBLP:conf/dagstuhl/1994fss,
  editor    = {Manfred Broy and
               Stephan Merz and
               Katharina Spies},
  title     = {Formal Systems Specification, The RPC-Memory Specification Case
               Study (the book grow out of a Dagstuhl Seminar, September 1994)},
  booktitle = {Formal Systems Specification},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1169},
  year      = {1996},
  isbn      = {3-540-61984-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Manfred Broy, Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement. 1-4 BibTeX
Manfred Broy, Stephan Merz, Katharina Spies: The RPC-Memory Case Study: A Synopsis. 5-20 BibTeX
Martín Abadi, Leslie Lamport, Stephan Merz: A TLA Solution to the RPC-Memory Specification Problem. 21-66 BibTeX
Egidio Astesiano, Gianna Reggio: A Dynamic Specification of the RPC-Memory Problem. 67-108 BibTeX
Eike Best: A Memory Module Specification Using Composable High-Level Petri Nets. 109-159 BibTeX
Johan Blom, Bengt Jonsson: Constraint Oriented Temporal Logic Specification. 161-182 BibTeX
Manfred Broy: A Functional Solution to the RPC-Memory Specification Problem. 183-211 BibTeX
Jorge Cuéllar, Dieter Barnard, Martin Huber: A Solution Relying on the Model Checking of Boolean Transition Systems. 213-251 BibTeX
Reinhard Gotzhein: Applying a Temporal Logic to the RPC-Memory Specification Problem. 253-273 BibTeX
Jozef Hooman: Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. 275-304 BibTeX
Hardi Hungar: Specification and Verification Using a Visual Formalism on Top of Temporal Logic. 305-339 BibTeX
Nils Klarlund, Mogens Nielsen, Kim Sunesen: A Case Study in Verification Based on Trace Abstractions. 341-373 BibTeX
Reino Kurki-Suonio: Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. 375-404 BibTeX
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise: The Methodology of Modal Constraints. 405-435 BibTeX
Judi Romijn: Tackling the RPC-Memory Specification Problem with I/O Automata. 437-475 BibTeX
Ketil Stølen: Using Relations to Solve the RPC-Memory Specification Problem. 477-520 BibTeX
Rob T. Udink, Joost N. Kok: The RPC-Memory Specification Problem: UNITY+Refinement Calculus. 521-540 BibTeX