[L2] ================================================ AMAST Links 02 04

     First AMAST Workshop on Topology and Completion in Semantics
                Chartres, France, 18--20 November 1993
                            Selected Papers
   To appear in _Theoretical Computer Science_ 149 (October 1995)
               Guest Editors: Paul Gastin and Jan Rutten

   A _LaTeX version_ of this page is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i04/full/AC0204L2.tex

  *Contents:*

Philipp S"underhauf : 
    A Faithful Computational Model of the Real Numbers
M. B. Smyth : 
    Semi-metrics, Closure Spaces and Digital Topology
Michael W. Mislove and Frank J. Oles : 
    Full Abstraction and Recursion
S.G. Matthews : 
    An Extensional Treatment of Lazy Data Flow Deadlock
Abbas Edalat : 
    Domain Theory and Integration
Bruno Courcelle : 
    The Monadic Second-order Logic of Graphs IX: Machines and their
    Behaviours
Marcello Bonsangue, Bart Jacobs and Joost N. Kok : 
    Duality beyond Sober Spaces: Topological Spaces and Observation
    Frames
Frank S. de Boer, Alessandra Di Pierro and Catuscia Palamidessi : 
    Nondeterminism and Infinite Computations in Constraint Programming
Andre' Arnold : 
    A topological property of rational omega-languages
Simon Ambler, Marta Kwiatkowska and Nicholas Measor : 
    Duality and the Completeness of the Modal mu-calculus