search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

REX Workshop

Keyphrases

Publications

volume 803, 1994

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings REX Workshop 803 (1994)

volume 666, 1993

Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings REX Workshop 666 (1993)

1992

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

volume 600, 1992

Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings REX Workshop 600 (1992)

1991

volume 489, 1991

Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings REX Workshop 489 (1991)