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