Conferences in DBLP

REX (Research and Education in Concurrent Systems) - Workshops (rex)
1989 (conf/rex/1989)

1. Martín Abadi, Leslie Lamport
   Composing Specifications. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:1-41 [Conf]
   
2. Ralph-Johan Back, Joakim von Wright
   Refinement Calculus, Part I: Sequential Nondeterministic Programs. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:42-66 [Conf]
   
3. Ralph-Johan Back
   Refinement Calculus, Part II: Parallel and Reactive Programs. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:67-93 [Conf]
   
4. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
   METATEM: A Framework for Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:94-129 [Conf]
   
5. Ed Brinksma
   Constraint-Oriented Specification in a Constructive Formal Description Technique. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:130-152 [Conf]
   
6. Manfred Broy
   Functional Specification of Time Sensitive Communicating Systems. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:153-179 [Conf]
   
7. Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
   Modular Verification of Petri Nets: The Temporal Logic Approach. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:180-207 [Conf]
   
8. Eduard Diepstraten, Ruurd Kuiper
   Abadi & Lamport and Stark: towards a Proof Theory for Stuttering, Dense Domains and Refinement Mappings. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:208-238 [Conf]
   
9. Hans-Dieter Ehrich, Amílcar Sernadas
   Algebraic Implementation of Objects over Objects. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1989, pp:239-266 [Conf]
   
10. Rob J. van Glabbeek, Ursula Goltz
    Refinement of Actions in Causality Based Models. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:267-300 [Conf]
    
11. Martin Große-Rhode, Hartmut Ehrig
    Transformation of Combined Data Type and Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:301-339 [Conf]
    
12. Jifeng He
    Various Simulations and Refinements. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:340-360 [Conf]
    
13. Bengt Jonsson
    On Decomposing and Refining Specifications of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:361-385 [Conf]
    
14. Bernhard Josko
    Verifying the Correctness of AADL Modules Using Model Checking. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:386-400 [Conf]
    
15. Joost N. Kok
    Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:401-413 [Conf]
    
16. Robert P. Kurshan
    Analysis of Discrete Event Coordination. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:414-453 [Conf]
    
17. Simon S. Lam, A. Udaya Shankar
    Refinement and Projection of Relational Specifications. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:454-486 [Conf]
    
18. Kim Guldstrand Larsen
    Compositional Theories Based on an Operational Semantics of Contexts. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:487-518 [Conf]
    
19. Nancy A. Lynch
    Multivalued Possibilities Mappings. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:519-543 [Conf]
    
20. Michael Merritt
    Completeness Theorems for Automata. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:544-560 [Conf]
    
21. Tobias Nipkow
    Formal Verification of Data Type Refinement - Theory and Practice. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:561-591 [Conf]
    
22. Ernst-Rüdiger Olderog
    From Trace Specifications to Process Terms. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:592-621 [Conf]
    
23. Paritosh K. Pandya
    Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:622-640 [Conf]
    
24. Lucia Pomello
    Refinement of Concurrent Systems Based on Local State Transformations. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:641-668 [Conf]
    
25. A. Udaya Shankar, Simon S. Lam
    Construction of Network Protocols by Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:669-695 [Conf]
    
26. Frank A. Stomp
    A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:696-730 [Conf]
    
27. Jeannette M. Wing
    Verifying Atomic Data Types. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:731-758 [Conf]
    
28. Job Zwiers
    Predicated, Predicate Transformers and Refinement. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:759-776 [Conf]
    
29. Rob Gerth
    Foundations of Compositional Program Refinement - Safety Properties. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:777-807 [Conf]