Franck van Breugel

	2012
35		Di Chen, Franck van Breugel, James Worrell: On the Complexity of Computing Probabilistic Bisimilarity. FoSSaCS 2012: 437-451
	2011
34		Xin Zhang, Franck van Breugel: A Progress Measure for Explicit-State Probabilistic Model-Checkers. ICALP (2) 2011: 283-294
	2010
33		Faith Ellen, Panagiota Fatourou, Eric Ruppert, Franck van Breugel: Non-blocking binary search trees. PODC 2010: 131-140
32		Xin Zhang, Franck van Breugel: Model Checking Randomized Algorithms with Java PathFinder. QEST 2010: 157-158
31		Franck van Breugel, Marsha Chechik: 19th International Conference on Concurrency Theory. Inf. Comput. 208(10): 1091-1092 (2010)
	2008
30		Franck van Breugel, Marsha Chechik: CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Springer 2008
29		Franck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems CoRR abs/0803.3796: (2008)
28		Franck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. Logical Methods in Computer Science 4(2): (2008)
	2007
27		Franck van Breugel, Babita Sharma, James Worrell: Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems. FoSSaCS 2007: 123-137
26		Alessandro Aldini, Franck van Breugel: Preface. Electr. Notes Theor. Comput. Sci. 190(3): 1-2 (2007)
25		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		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		Franck van Breugel, Mariya Koshkina: Dead-Path-Elimination in BPEL4WS. ACSD 2005: 192-201
22		Franck van Breugel: A Behavioural Pseudometric for Metric Labelled Transition Systems. CONCUR 2005: 141-155
21		Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: An Accessible Approach to Behavioural Pseudometrics. ICALP 2005: 1018-1030
20		Franck van Breugel, James Worrell: A behavioural pseudometric for probabilistic transition systems. Theor. Comput. Sci. 331(1): 115-142 (2005)
19		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		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		Franck van Breugel: De Bakker-Zucker processes revisited. Inf. Comput. 188(1): 68-76 (2004)
	2003
16		Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell: An Intrinsic Characterization of Approximate Probabilistic Bisimilarity. FoSSaCS 2003: 200-215
	2002
15		Franck van Breugel, Steven Shalit, James Worrell: Testing Labelled Markov Processes. ICALP 2002: 537-548
	2001
14		Franck van Breugel, James Worrell: An Algorithm for Quantitative Verification of Probabilistic Transition Systems. CONCUR 2001: 336-350
13		Franck van Breugel, James Worrell: Towards Quantitative Verification of Probabilistic Transition Systems. ICALP 2001: 421-432
12		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		Franck van Breugel, Stephen Watson: A Note on Hyperspaces and Terminal Coalgebras. Electr. Notes Theor. Comput. Sci. 19: 201-208 (1999)
	1998
9		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		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		Franck van Breugel: Failures, finiteness and full abstraction. Electr. Notes Theor. Comput. Sci. 6: 391-408 (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

Coauthor Index

1	Alessandro Aldini	[26]
2	J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker)	[2] [4] [11]
3	Marcello M. Bonsangue	[9]
4	Arie de Bruin	[4]
5	Marsha Chechik	[30] [31]
6	Di Chen	[35]
7	Faith Ellen (Faith Ellen Fich, Faith E. Fich)	[33]
8	Panagiota Fatourou	[33]
9	Claudio Hermida	[21] [25]
10	Mariya Koshkina	[18] [23]
11	Michael Makkai	[21] [25]
12	Michael W. Mislove	[16] [19]
13	Joël Ouaknine	[16] [19]
14	Eric Ruppert	[33]
15	Jan J. M. M. Rutten	[9]
16	Steven Shalit	[15]
17	Babita Sharma	[27] [28] [29]
18	Stephen Watson	[10]
19	James Worrell	[13] [14] [15] [16] [19] [20] [21] [24] [25] [27] [28] [29] [35]
20	Xin Zhang	[32] [34]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page