Theoretical Computer Science, Volume 151

Volume 151, Number 1, 13 November 1995

Selected Papers of the Workshop on Topology and Completion in Semantics, Chartres, France, 18-20 November 1993

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor:
Duality and the Completeness of the Modal mu-Calculus. 3-27
André Arnold:
A Topological Property of Rational omega-Languages. 29-36
Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi:
Nondeterminism and Infinite Computations in Constraint Programming. 37-78
Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok:
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. 79-124
Bruno Courcelle:
The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. 125-162
Abbas Edalat:
Domain Theory and Integration. 163-193
S. G. Matthews:
An Extensional Treatment of Lazy Data Flow Deadlock. 195-205
Michael W. Mislove, Frank J. Oles:
Full Abstraction and Recursion. 207-256
Michael B. Smyth:
Semi-Metrics, Closure Spaces and Digital Topology. 257-276
Philipp Sünderhauf:
A Faithful Computational Model of the Real Numbers. 277-294

Selected Papers of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 15-17 December 1993

Giuseppe Castagna:
A Meta-Language for Typed Object-Oriented Languages. 297-352
Hassan Aït-Kaci, Jacques Garrigue:
Label-Selective lambda-Calculus Syntax and Confluence. 353-383
Steffen van Bakel:
Intersection Type Assignment Systems. 385-435
Kohei Honda, Nobuko Yoshida:
On Reduction-Based Process Semantics. 437-486
M. R. K. Krishna Rao:
Modular Proofs for Completeness of Hierarchical Term Rewriting Systems. 487-512