The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franck van Breugel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franck van Breugel, Mariya Koshkina
    Dead-Path-Elimination in BPEL4WS. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:192-201 [Conf]
  2. Franck van Breugel
    A Behavioural Pseudometric for Metric Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:141-155 [Conf]
  3. Franck van Breugel, James Worrell
    An Algorithm for Quantitative Verification of Probabilistic Transition Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:336-350 [Conf]
  4. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
    An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:200-215 [Conf]
  5. Franck van Breugel, James Worrell
    Towards Quantitative Verification of Probabilistic Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:421-432 [Conf]
  6. Franck van Breugel
    Generalized Finiteness Conditions of Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:376-387 [Conf]
  7. Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
    An Accessible Approach to Behavioural Pseudometrics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1018-1030 [Conf]
  8. Franck van Breugel, Steven Shalit, James Worrell
    Testing Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:537-548 [Conf]
  9. J. W. de Bakker, Franck van Breugel, Arie de Bruin
    Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:252-261 [Conf]
  10. J. W. de Bakker, Franck van Breugel
    Topological Models for Higher Ordr Control Flow. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:122-142 [Conf]
  11. Franck van Breugel
    Three Metric Domains of Processes for Bisimulation. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:103-121 [Conf]
  12. Franck van Breugel
    Comparative Semantics for a Real-Time Programming Language with Integration. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:397-411 [Conf]
  13. Franck van Breugel
    A Labelled Transition Systems for pi-epsilon-Calculus. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:321-332 [Conf]
  14. Franck van Breugel
    Failures, finiteness and full abstraction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  15. Franck van Breugel, Stephen Watson
    A Note on Hyperspaces and Terminal Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  16. Franck van Breugel
    De Bakker-Zucker processes revisited. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:188, n:1, pp:68-76 [Journal]
  17. Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten
    Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:1-51 [Journal]
  18. Franck van Breugel
    An introduction to metric semantics: operational and denotational models for programming and specification languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:1-98 [Journal]
  19. Franck van Breugel
    Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:202, n:1-2, pp:223-230 [Journal]
  20. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
    Domain theory, testing and simulation for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:171-197 [Journal]
  21. Franck van Breugel, James Worrell
    A behavioural pseudometric for probabilistic transition systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:1, pp:115-142 [Journal]
  22. Franck van Breugel, James Worrell
    Approximating and computing behavioural distances in probabilistic transition systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:373-385 [Journal]
  23. Franck van Breugel, Babita Sharma, James Worrell
    Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:123-137 [Conf]
  24. Alessandro Aldini, Franck van Breugel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:1-2 [Journal]
  25. Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
    Recursively defined metric spaces without contraction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:1-2, pp:143-163 [Journal]

  26. From Banach to Milner: metric semantics for second order communication and concurrency. [Citation Graph (, )][DBLP]


  27. Non-blocking binary search trees. [Citation Graph (, )][DBLP]


  28. Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002