|
Journal papers
-
Franck van Breugel,
Babita Sharma and
James Worrell.
Approximating a Behavioural Pseudometric Without Discount.
Logical Methods in Computer Science, 4(2:2), April 2008.
-
Franck van Breugel,
Claudio Hermida,
Michael Makkai and
James Worrell.
Recursively Defined Metric Spaces without Contraction.
Theoretical Computer Science, 380(1/2):143-163, June 2007.
-
Franck van Breugel and
James Worrell.
Approximating and computing behavioural distances in probabilistic transition systems.
Theoretical Computer Science, 360(1/3): 373-385, August 2006.
-
Franck van Breugel,
Michael Mislove,
Joel Ouaknine and
James Worrell.
Domain Theory, Testing and Simulation for Labelled Markov Processes.
Theoretical Computer Science, 333(1/2): 171-197, March 2005.
-
Franck van Breugel and
James Worrell.
A Behavioural Pseudometric for Probabilistic Transition Systems.
Theoretical Computer Science, 331(1):115-142, February 2005.
-
Franck van Breugel,
Camillo Costantini and
Stephen Watson.
Isometries between a Metric Space and its Hyperspace, Function Space, and Space of Measures.
Topology and its Applications, 137(1/3):51-57, February 2004.
-
Franck van Breugel.
De Bakker-Zucker Processes Revisited.
Information and Computation, 188(1):68-76, January 2004.
-
Franck van Breugel.
An Introduction to Metric Semantics: Operational and Denotational Models for Programming and Specification Languages.
Theoretical Computer Science, 258(1/2):1-98, May 2001.
-
Franck van Breugel.
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes.
Theoretical Computer Science, 202(1/2):223-230, July 1998.
-
M.M. Bonsangue ,
F. van Breugel, and
J.J.M.M. Rutten .
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theoretical Computer Science, 193(1/2):1-51, February 1998.
|
|