Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
1994 (conf/dagstuhl/1994fss)

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