[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 at URL: http://www.cs.vu.nl/vakgroepen/ti/ftpindex.html
Or by ftp in _directory_ at URL: ftp://ftp.cs.vu.nl/pub/papers/theory/ 
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.