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.
Contents:
-
Philipp Sünderhauf:
-
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