[LA] _________________________ AMAST Links 02 05

New Reports on Theoretical Computer Science, VUA, Amsterdam

The following reports of the Research group Theoretical Computer Science at the Vrije Universiteit Amsterdam (VUA) are now available via the web page . Or by ftp in directory .

IR-381:

M.M. Bonsangue and M.Z. Kwiatkowska Re-Interpreting the Modal mu-Calculus, February 1995.

IR-380:

N. Dershowitz, J.-P. Jouannaud and J.W. Klop, Problems in Rewriting III, February 1995.

IR-373:

M. Hollenberg and K. Vermeulen, Counting Variables in a Dynamic Setting, December 1994.

IR-371:

M.M. Bonsangue, E.P. de Vink and J.N. Kok, Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency, December 1994.

IR-370:

P. Blackburn, M. de Rijke and Y. Venema, The Algebra of Modal Logic, November 1994.

IR-350:

M.M. Bonsangue, B. Jacobs, and J.N. Kok, Duality beyond Sober Spaces: Topological Spaces and Observation Frames, January 1994.

IR-349:

M.M. Bonsangue and J.N. Kok, Relating Multifunctions and Predicate Transformers through Closure Operators, January 1994.

IR-333:

V. van Oostrom and F. van Raamsdonk, Comparing Combinatory Reduction Systems and Higher-Order Rewrite Systems, August 1993.

IR-332:

V. van Oostrom and E.P. de Vink, Transition system spec's in stalk format with bisimulation as a congruence, July 1993.

IR-327:

J.W. Klop, V. van Oostrom and F. van Raamsdonk, Combinatory Reduction Systems: introduction and survey, June 1993.

IR-304:

A. Eliens and E.P. de Vink, Asynchronous rendez-vous in distributed logic programming, September 1992.

IR-298:

V. van Oostrom, Confluence by Decreasing Diagrams, August 1992 (This report is a completely revised version of IR-264)

IR-264:

V. van Oostrom, Confluence by Decreasing Diagrams, Nov. 1991.

IR-239:

F. van Breugel, Comparative Semantics for a Real-Time Programming Language with Integration, March 1991.

IR-228:

V. van Oostrom, Lambda Calculus with Patterns, November 1990.

IR-218:

F. van Breugel, Semantic Models for a Language with Timed Atomic Actions, July 1990.