Dagstuhl Seminar Formal Systems Specification 1994

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

Last update Tue Feb 14 03:52:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page