REX Workshop 1992: Beekbergen, The Netherlands

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Lecture Notes in Computer Science 666 Springer 1993, ISBN 3-540-56596-5 BibTeX

@proceedings{DBLP:conf/rex/1992,
  editor    = {J. W. de Bakker and
               Willem P. de Roever and
               Grzegorz Rozenberg},
  title     = {Sematics: Foundations and Applications, REX Workshop, Beekbergen,
               The Netherlands, June 1-4, 1992, Proceedings},
  booktitle = {REX Workshop},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {666},
  year      = {1993},
  isbn      = {3-540-56596-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. 1-20 BibTeX
Eric Badouel, Philippe Darondeau: Trace Nets. 21-50 BibTeX
Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl: Proving Total Correctness of Programs in Weak Second-Order Logic. 51-72 BibTeX
Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: On Blocks: Locality and Asynchronous Communication (Extended Abstract). 73-90 BibTeX
Marcello M. Bonsangue, Joost N. Kok: Semantics, Orderings and Recursion in the Weakest Precondition Calculus. 91-109 BibTeX
Andrea Corradini, Andrea Asperti: A Categorial Model for Logic Programs: Indexed Monoidal Categories. 110-137 BibTeX
Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. 138-153 BibTeX
Abbas Edalat, Michael B. Smyth: Compact Metric Information Systems (Extended Abstract). 154-173 BibTeX
Anton Eliëns, Erik P. de Vink: Asynchronous Rendez-vous in Distributed Logic Programming. 174-203 BibTeX
Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: New Semantic Tools for Logic Programming. 204-235 BibTeX
Wim H. Hesselink, Ronald Reinds: Temporal Preconditions of Recursive Procedures. 236-260 BibTeX
Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. 261-287 BibTeX
Eiichi Horita: A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. 288-317 BibTeX
Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). 318-347 BibTeX
Marta Z. Kwiatkowska: Infinite Behaviour and Fairness in Concurrent Constraint Programming. 348-383 BibTeX
Michael W. Mislove, Frank J. Oles: Full Abstraction and Unnested Recursion. 384-397 BibTeX
Peter D. Mosses: On the Action Semantics of Concurrent Programming Languages. 398-424 BibTeX
Flemming Nielson, Hanne Riis Nielson: Layered Predicates. 425-456 BibTeX
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely: A Hyperdoctrinal View of Concurrent Constraint Programming. 457-476 BibTeX
Jan J. M. M. Rutten, Daniele Turi: On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. 477-530 BibTeX
Viggo Stoltenberg-Hansen, J. V. Tucker: Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. 531-562 BibTeX
Bent Thomsen, Lone Leth, Alessandro Giacalone: Some Issues in the Semantics of Facile Distributed Programming. 563-593 BibTeX
Rob T. Udink, Joost N. Kok: On the Relation Between Unity Properties and Sequences of States. 594-608 BibTeX
Frits W. Vaandrager: Expressive Results for Process Algebras. 609-638 BibTeX
Sam Weber, Bard Bloom, Geoffrey Brown: Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. 639-659 BibTeX