| 2008 |
|---|
| 29 | | Franck van Breugel,
Marsha Chechik:
CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
Springer 2008 |
| 28 | EE | Franck van Breugel,
Babita Sharma,
James Worrell:
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
CoRR abs/0803.3796: (2008) |
| 2007 |
|---|
| 27 | EE | Franck van Breugel,
Babita Sharma,
James Worrell:
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems.
FoSSaCS 2007: 123-137 |
| 26 | EE | Alessandro Aldini,
Franck van Breugel:
Preface.
Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007) |
| 25 | EE | Franck van Breugel,
Claudio Hermida,
Michael Makkai,
James Worrell:
Recursively defined metric spaces without contraction.
Theor. Comput. Sci. 380(1-2): 143-163 (2007) |
| 2006 |
|---|
| 24 | EE | Franck van Breugel,
James Worrell:
Approximating and computing behavioural distances in probabilistic transition systems.
Theor. Comput. Sci. 360(1-3): 373-385 (2006) |
| 2005 |
|---|
| 23 | EE | Franck van Breugel,
Mariya Koshkina:
Dead-Path-Elimination in BPEL4WS.
ACSD 2005: 192-201 |
| 22 | EE | Franck van Breugel:
A Behavioural Pseudometric for Metric Labelled Transition Systems.
CONCUR 2005: 141-155 |
| 21 | EE | Franck van Breugel,
Claudio Hermida,
Michael Makkai,
James Worrell:
An Accessible Approach to Behavioural Pseudometrics.
ICALP 2005: 1018-1030 |
| 20 | EE | Franck van Breugel,
James Worrell:
A behavioural pseudometric for probabilistic transition systems.
Theor. Comput. Sci. 331(1): 115-142 (2005) |
| 19 | EE | Franck van Breugel,
Michael W. Mislove,
Joël Ouaknine,
James Worrell:
Domain theory, testing and simulation for labelled Markov processes.
Theor. Comput. Sci. 333(1-2): 171-197 (2005) |
| 2004 |
|---|
| 18 | EE | Mariya Koshkina,
Franck van Breugel:
Modelling and verifying web service orchestration by means of the concurrency workbench.
ACM SIGSOFT Software Engineering Notes 29(5): 1-10 (2004) |
| 17 | EE | Franck van Breugel:
De Bakker-Zucker processes revisited.
Inf. Comput. 188(1): 68-76 (2004) |
| 2003 |
|---|
| 16 | EE | Franck van Breugel,
Michael W. Mislove,
Joël Ouaknine,
James Worrell:
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity.
FoSSaCS 2003: 200-215 |
| 2002 |
|---|
| 15 | EE | Franck van Breugel,
Steven Shalit,
James Worrell:
Testing Labelled Markov Processes.
ICALP 2002: 537-548 |
| 2001 |
|---|
| 14 | EE | Franck van Breugel,
James Worrell:
An Algorithm for Quantitative Verification of Probabilistic Transition Systems.
CONCUR 2001: 336-350 |
| 13 | EE | Franck van Breugel,
James Worrell:
Towards Quantitative Verification of Probabilistic Transition Systems.
ICALP 2001: 421-432 |
| 12 | EE | Franck van Breugel:
An introduction to metric semantics: operational and denotational models for programming and specification languages.
Theor. Comput. Sci. 258(1-2): 1-98 (2001) |
| 2000 |
|---|
| 11 | | Jaco de Bakker,
Franck van Breugel:
From Banach to Milner: metric semantics for second order communication and concurrency.
Proof, Language, and Interaction 2000: 99-132 |
| 1999 |
|---|
| 10 | EE | Franck van Breugel,
Stephen Watson:
A Note on Hyperspaces and Terminal Coalgebras.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 1998 |
|---|
| 9 | EE | Marcello M. Bonsangue,
Franck van Breugel,
Jan J. M. M. Rutten:
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding.
Theor. Comput. Sci. 193(1-2): 1-51 (1998) |
| 8 | EE | Franck van Breugel:
Terminal Metric Spaces of Finitely Branching and Image Finite Linear Processes.
Theor. Comput. Sci. 202(1-2): 223-230 (1998) |
| 1997 |
|---|
| 7 | | Franck van Breugel:
A Labelled Transition Systems for pi-epsilon-Calculus.
TAPSOFT 1997: 321-332 |
| 6 | EE | Franck van Breugel:
Failures, finiteness and full abstraction.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1994 |
|---|
| 5 | | Franck van Breugel:
Generalized Finiteness Conditions of Labelled Transition Systems.
ICALP 1994: 376-387 |
| 1993 |
|---|
| 4 | | 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.
MFCS 1993: 252-261 |
| 3 | | Franck van Breugel:
Three Metric Domains of Processes for Bisimulation.
MFPS 1993: 103-121 |
| 2 | | J. W. de Bakker,
Franck van Breugel:
Topological Models for Higher Ordr Control Flow.
MFPS 1993: 122-142 |
| 1991 |
|---|
| 1 | | Franck van Breugel:
Comparative Semantics for a Real-Time Programming Language with Integration.
TAPSOFT, Vol.1 1991: 397-411 |
