Electronic Notes in Theoretical Computer Science, Volume 87

Volume 87, November 2004

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes 20030421/25

Josée Desharnais, Prakash Panangaden:
Preface. 1-3
Achim Jung:
Stably Compact Spaces and the Probabilistic Powerspace construction. 5-20
Martín Hötzel Escardó:
Synthetic Topology: of Data Types and Classical Spaces. 21-156
Vincent Danos, Josée Desharnais, Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations. 157-203
François Laviolette:
The Countable Character of Uncountable Graphs. 205-224
Klaus Keimel:
The Probabilistic Powerdomain for Stably Compact Spaces via Compact Ordered Spaces. 225-238