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. Springer 1993 Lecture Notes in Computer Science ISBN 3-540-56596-5- Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl: Proving Total Correctness of Programs in Weak Second-Order Logic. 51-72
- Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten: On Blocks: Locality and Asynchronous Communication (Extended Abstract). 73-90
- Marcello M. Bonsangue, Joost N. Kok: Semantics, Orderings and Recursion in the Weakest Precondition Calculus. 91-109
- Andrea Corradini, Andrea Asperti: A Categorial Model for Logic Programs: Indexed Monoidal Categories. 110-137
- Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. 138-153
- Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: New Semantic Tools for Logic Programming. 204-235
- Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer: Towards an Epistemic Approach to Reasoning about Concurrent Programs. 261-287
- Eiichi Horita: A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality. 288-317
- Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen: SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). 318-347
- Marta Z. Kwiatkowska: Infinite Behaviour and Fairness in Concurrent Constraint Programming. 348-383
- Peter D. Mosses: On the Action Semantics of Concurrent Programming Languages. 398-424
- Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely: A Hyperdoctrinal View of Concurrent Constraint Programming. 457-476
- Jan J. M. M. Rutten, Daniele Turi: On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. 477-530
- Viggo Stoltenberg-Hansen, J. V. Tucker: Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. 531-562
- Bent Thomsen, Lone Leth, Alessandro Giacalone: Some Issues in the Semantics of Facile Distributed Programming. 563-593
- Rob T. Udink, Joost N. Kok: On the Relation Between Unity Properties and Sequences of States. 594-608
- Frits W. Vaandrager: Expressive Results for Process Algebras. 609-638
- Sam Weber, Bard Bloom, Geoffrey Brown: Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. 639-659
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team