REX Workshop 1989: Mook, The Netherlands

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings. Lecture Notes in Computer Science 430 Springer 1990, ISBN 3-540-52559-9 BibTeX

@proceedings{DBLP:conf/rex/1989,
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Stepwise Refinement of Distributed Systems, Models, Formalisms,
               Correctness, REX Workshop, Mook, The Netherlands, May 29 - June
               2, 1989, Proceedings},
  booktitle = {REX Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {430},
  year      = {1990},
  isbn      = {3-540-52559-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lecture

Martín Abadi, Leslie Lamport: Composing Specifications. 1-41 BibTeX

Technical Contributions

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