
Conference papers

Alessandro Aldini and
Franck van Breugel.
Preface.
In Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages,
volume 190(3) of Electronic Notes in Theoretical Computer Science, pages 12, Braga, Portugal, March 2007. Elsevier.

Franck van Breugel,
Babita Sharma and
James Worrell.
Approximating a Behavioural Pseudometric Without Discount.
In, H. Seidl, editor, Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS),
volume 4423 of Lecture Notes in Computer Science,
pages 123137, Braga, March 2007. SpringerVerlag.

Franck van Breugel.
A Behavioural Pseudometric for Metric Labelled Transition Systems.
In, M. Abadi and L. de Alfaro, editors, Proceedings of the 16th International Conference on Concurrency Theory (CONCUR),
volume 3653 of Lecture Notes in Computer Science,
pages 141155, San Francisco, August 2005. SpringerVerlag.

Franck van Breugel,
Claudio Hermida,
Michael Makkai and
James Worrell.
An Accessible Approach to Behavioural Pseudometrics.
L. Caires, G.F. Italiano, L. Monteiro, C. Palamidessi and M. Yung, editors,
Proceedings of the 32nd International Colloquium on Automata, Languages, and Programming (ICALP),
volume 3580 of Lecture Notes in Computer Science,
pages 10181030, Lisbon, July 2005. SpringerVerlag.

Franck van Breugel and Mariya Koshkina.
DeadPathElimination in BPEL4WS.
In Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD),
pages 192201, St Malo, June 2005. IEEE.

Mariya Koshkina and Franck van Breugel.
Modelling and Verifying Web Service Orchestration by means of the Concurrency Workbench.
In Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAVWEB),
ACM SIGSOFT Software Engineering Notes, 29(5), September 2004.

Franck van Breugel,
Michael Mislove,
Joel Ouaknine and
James Worrell.
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.
In A.D. Gordon, editor, Proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures (FOSSACS),
volume 2620 of Lecture Notes in Computer Science,
pages 200215, Warsaw, April 2003. SpringerVerlag.

Franck van Breugel,
Steven Shalit and
James Worrell.
Testing Labelled Markov Processes.
In P. Widmayer, F. Triguero, R. Morales, M. Hennessy, S. Eidenbenz and R. Conejo, editors,
Proceedings of the 29th International Colloquium on Automata, Languages, and Programming (ICALP),
volume 2380 of Lecture Notes in Computer Science,
pages 537548, Malaga, July 2002. SpringerVerlag.

Franck van Breugel and
James Worrell.
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
In K.G. Larsen and M. Nielsen, editors,
Proceedings of the 12th International Conference on Concurrency Theory (CONCUR),
volume 2154 of Lecture Notes in Computer Science, pages 336350,
Aalborg, August 2001. SpringerVerlag.

Franck van Breugel and
James Worrell.
Towards Quantitative Verification of Probabilistic Transition Systems.
In F. Orejas, P.G. Spirakis and J. van Leeuwen, editors,
Proceedings of the 28th International Colloquium on Automata, Languages, and Programming (ICALP),
volume 2076 of Lecture Notes in Computer Science,
pages 421432, Crete, July 2001. SpringerVerlag.

Franck van Breugel and
Stephen Watson.
A Note on Hyperspaces and Terminal Coalgebras.
In B. Jacobs and J. Rutten, editors,
Proceedings of the Second Workshop on Coalgebraic Methods in Computer Science (CMCS),
volume 19 of Electronic Notes in Theoretical Computer Science,
Amsterdam, March 1999. Elsevier.

Franck van Breugel.
Failures, Finiteness, and Full Abstraction.
In S. Brookes and M. Mislove, editors,
Proceedings of the 13th Conference on Mathematical Foundations of Programming Semantics (MFPS),
volume 6 of Electronic Notes in Theoretical Computer Science,
Pittsburgh, March 1997. Elsevier.

Franck van Breugel.
A Labelled Transition System for π_{ε}Calculus.
In M. Bidoit and M. Dauchet, editors,
Proceedings of the 7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT),
volume 1214 of Lecture Notes in Computer Science,
pages 312336, Lille, April 1997. SpringerVerlag.

M.M. Bonsangue ,
F. van Breugel, and
J.J.M.M. Rutten .
Alexandroff and Scott Topologies for Generalized Ultrametric Spaces.
In S. Andima, B. Flagg, J. Itzkowitz, Y. Kong, R. Kopperman, and P. Misra, editors,
Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine,
volume 806 of Annals of the New York Academy of Sciences,
pages 4968, Gorham, August 1995. The New York Academy of Sciences.

Franck van Breugel.
A Theory of Metric Labelled Transition Systems.
In S. Andima, B. Flagg, J. Itzkowitz, Y. Kong, R. Kopperman, and P. Misra, editors,
Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine,
volume 806 of Annals of the New York Academy of Sciences,
pages 6987, Gorham, August 1995. The New York Academy of Sciences.

Franck van Breugel.
From Branching to Linear Metric Domains (and back).
In U.H. Engberg, K.G. Larsen, and P.D. Mosses, editors,
Proceedings of the 6th Nordic Workshop on Programming Theory,
volume NS946 of BRICS Notes Series, pages 444447, Aarhus, October 1994. BRICS.

Franck van Breugel.
Generalizing Finiteness Conditions of Labelled Transition Systems.
In S. Abiteboul and E. Shamir, editors,
Proceedings of the 21th International Colloquium on Automata, Languages, and Programming (ICALP),
volume 820 of Lecture Notes in Computer Science,
pages 376387, Jerusalem, July 1994. SpringerVerlag.

J.W. de Bakker ,
F. van Breugel, and
A. de Bruin .
Comparative Semantics for Linear Arrays of Communicating Processes.
In A.M. Borzyszkowski and S. Sokolowski, editors,
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science (MFCS),
volume 711 of Lecture Notes in Computer Science, pages 252261, Gdansk,
August/September 1993. SpringerVerlag.

J.W. de Bakker
and F. van Breugel.
Topological Models for Higher Order Control Flow.
In S. Brookes, M. Main. A. Melton, M. Mislove, and D. Schmidt, editors,
Proceedings of the 9th International Conference on the Mathematical Foundations of Programming Semantics (MFPS),
volume 802 of Lecture Notes in Computer Science,
pages 122142, New Orleans, April, 1993. SpringerVerlag.

Franck van Breugel.
Three Metric Domains of Processes for Bisimulation.
In S. Brookes, M. Main. A. Melton, M. Mislove, and D. Schmidt, editors,
Proceedings of the 9th International Conference on the Mathematical Foundations of Programming Semantics (MFPS),
volume 802 of Lecture Notes in Computer Science,
pages 103121, New Orleans, April, 1993. SpringerVerlag.

Franck van Breugel.
Comparative Semantics for a RealTime Programming Language with Integration.
In S. Abramsky and T.S.E Maibaum, editors,
Proceedings of the 4th International Conference on Theory and Practice of Software Development (TAPSOFT),
volume 493 of Lecture Notes in Compter Science,
pages 397411, Brighton, April 1991. SpringerVerlag.

