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 1-2, 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 123-137, Braga, March 2007. Springer-Verlag.
• 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 141-155, San Francisco, August 2005. Springer-Verlag.
• 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 1018-1030, Lisbon, July 2005. Springer-Verlag.
• Franck van Breugel and Mariya Koshkina. Dead-Path-Elimination in BPEL4WS. In Proceedings of the 5th International Conference on Application of Concurrency to System Design (ACSD), pages 192-201, 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 (TAV-WEB), 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 200-215, Warsaw, April 2003. Springer-Verlag.
• 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 537-548, Malaga, July 2002. Springer-Verlag.
• 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 336-350, Aalborg, August 2001. Springer-Verlag.
• 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 421-432, Crete, July 2001. Springer-Verlag.
• 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 312-336, Lille, April 1997. Springer-Verlag.
• 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 49-68, 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 69-87, 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 NS-94-6 of BRICS Notes Series, pages 444-447, 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 376-387, Jerusalem, July 1994. Springer-Verlag.
• 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 252-261, Gdansk, August/September 1993. Springer-Verlag.
• 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 122-142, New Orleans, April, 1993. Springer-Verlag.
• 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 103-121, New Orleans, April, 1993. Springer-Verlag.
• Franck van Breugel. Comparative Semantics for a Real-Time 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 397-411, Brighton, April 1991. Springer-Verlag.