|
Reports
-
Franck van Breugel and Mariya Koshkina.
Dead-Path-Elimination in BPEL4WS.
Report CS-2005-04, York University, April 2005.
-
Mariya Koshkina and Franck van Breugel.
Verification of Business Processes for Web Services.
Report CS-2003-11, York University, October 2003.
-
Darius Antia and Franck van Breugel.
Semantic Analysis of Pict in Java.
Report CS-2003-10, York University, October 2003.
-
Franck van Breugel and Mariya Koshkina.
Does Dead-Path-Elimination have Side Effects?
Report CS-2003-04, York University, April 2003.
-
Franck van Breugel,
Michael Mislove,
Joel Ouaknine and
James Worrell.
An Intrinsic Characterization of Approximate Probabilistic Bisimulation.
Report CS-2003-01, York University, January 2003.
-
Franck van Breugel and
James Worrell.
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
Report CS-2001-01, York University, April 2001.
-
Franck van Breugel,
Camillo Costantini and
Stephen Watson.
A Metric Space cannot be Isometric to its Hyperspace.
Quaderno 23, University of Torino, September 2000.
-
Franck van Breugel.
Solutions to the Exercises in "An Introduction to Metric Semantics: Operational and Denotational Models for Programming and Specification Languages."
Report CS-2000-02, York University, August 2000.
-
Franck van Breugel.
De Bakker-Zucker Processes Revisited.
Report CS-1999-05, York University, November 1999.
-
Franck van Breugel.
Failures, Finiteness, and Full Abstraction.
Report TR-97-18, University of Pisa, September 1997.
-
Franck van Breugel.
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes.
Report TR-97-17, University of Pisa, September 1997.
-
Franck van Breugel.
A Labelled Transition System for πε-Calculus.
Report TR-97-16, University of Pisa, September 1997.
-
M.M. Bonsangue,
F. van Breugel, and
J.J.M.M. Rutten.
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Report CS-R9636,
CWI, Amsterdam, September 1996.
-
M.M. Bonsangue,
F. van Breugel, and
J.J.M.M. Rutten.
Alexandroff and Scott Topologies for Generalized Ultrametric Spaces.
Report IR-394,
Vrije Universiteit, Amsterdam, October 1995.
-
Franck van Breugel.
A Theory of Metric Labelled Transition Systems.
Report SOCS-95.6,
McGill University, Montreal, October 1995.
-
M.M. Bonsangue,
F. van Breugel, and
J.J.M.M. Rutten.
Generalized Ultrametric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Report CS-R9560,
CWI, Amsterdam, September 1995.
-
Jaco de Bakker and
Franck van Breugel.
Metric Semantics for Second Order Communication.
Report SOCS-95.4,
McGill University, Montreal, July 1995.
-
Franck van Breugel.
From Branching to Linear Metric Domains (and back).
Report RS-95-30,
BRICS, Aarhus, June 1995.
-
Franck van Breugel and Jeroen Warmerdam.
Solving Domain Equations in a Category of Compact Metric Spaces.
Report CS-R9424,
CWI, Amsterdam, April 1994.
-
Franck van Breugel.
Generalizing Finiteness Conditions of Labelled Transition Systems.
Report CS-R9365,
CWI, Amsterdam, November 1993.
-
J.W. de Bakker and
F. van Breugel.
Topological Models for Higher Order Control Flow.
Report CS-R9340,
CWI, Amsterdam, June 1993.
-
Franck van Breugel.
Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs.
Report CS-R9339,
CWI, Amsterdam, June 1993.
-
J.W. de Bakker,
F. van Breugel, and
A. de Bruin.
Comparative Semantics for Linear Arrays of Communicating Processes.
Report CS-R9336,
CWI, Amsterdam, June 1993.
-
Franck van Breugel.
Three Metric Domains of Processes for Bisimulation.
Report CS-R9335,
CWI, Amsterdam, June 1993.
-
Franck van Breugel.
Comparative Semantics for a Real-Time Programming Language with Integration.
Report IR-239,
Vrije Universiteit, Amsterdam, March 1991.
-
Franck van Breugel.
Semantic Models for a Language with Timed Atomic Actions.
Report IR-218,
Vrije Universiteit, Amsterdam, July 1990.
|
|