Philippe Darondeau

发表

Benoît Caillaud, Laurence Dinh, Eric Badouel, 2007 .
Maciej Koutny, Philippe Darondeau, Marta Pietkiewicz-Koutny, 2008, Fundam. Informaticae.
Philippe Darondeau, Eike Best, E. Best, 2011, Ershov Memorial Conference.
Eric Badouel, Philippe Darondeau, Benoît Caillaud, 2011 .
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1995, TAPSOFT.
Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage, 1974, IFIP Congress.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1997, FCT.
Philippe Darondeau, P. S. Thiagarajan, Shaofa Yang, 2010, Inf. Comput..
Philippe Darondeau, Pierpaolo Degano, 1991, Fundam. Informaticae.
Philippe Darondeau, S. Laurie Ricker, Hervé Marchand, 2015, Discret. Event Dyn. Syst..
Philippe Darondeau, Andrzej M. Borzyszkowski, 2005, Theor. Comput. Sci..
Maciej Koutny, Philippe Darondeau, Marta Pietkiewicz-Koutny, 2008, Petri Nets.
Philippe Darondeau, P. Darondeau, 1998, CONCUR.
Loïc Hélouët, Philippe Darondeau, Blaise Genest, 2008, FoSSaCS.
Philippe Darondeau, 1989, Inf. Process. Lett..
Philippe Darondeau, X. Xie, P. Darondeau, 2003, Autom..
Philippe Darondeau, P. S. Thiagarajan, Shaofa Yang, 2008, CONCUR.
Philippe Darondeau, P. Darondeau, 2008, Concurrency, Graphs and Models.
Philippe Darondeau, Eike Best, E. Best, 2008, Petri Nets.
Michel Raynal, Philippe Darondeau, Paul Le Guernic, 1981, BIT Comput. Sci. Sect..
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1990, MFCS.
Philippe Darondeau, Lutz Priese, Serge Yoccoz, 1992, Theor. Comput. Sci..
Philippe Darondeau, 1984, Seminar on Concurrency.
Philippe Darondeau, P. Darondeau, 2003, Lectures on Concurrency and Petri Nets.
Philippe Darondeau, Marek A. Bednarczyk, 2002 .
Philippe Darondeau, Stéphane Demri, Roland Meyer, 2012, Log. Methods Comput. Sci..
Loïc Hélouët, Philippe Darondeau, Madhavan Mukund, 2011, ATVA.
Philippe Darondeau, Eric Badouel, Éric Badouel, 2004, Inf. Comput..
Roberto Gorrieri, Philippe Darondeau, Eike Best, 2010, SecCo.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .
Philippe Darondeau, Serge Yoccoz, P. Darondeau, 1992, Inf. Comput..
Philippe Darondeau, Jean-Claude Raoult, Eric Badouel, 1995, Inf. Comput..
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .
Philippe Darondeau, Eric Badouel, Éric Badouel, 1995, Acta Informatica.
Philippe Darondeau, Eric Badouel, 1992, REX Workshop.
Philippe Darondeau, P. Darondeau, 1991, Bull. EATCS.
Philippe Darondeau, Laurent Kott, P. Darondeau, 1984, Inf. Process. Lett..
Philippe Darondeau, Boubakar Gamatié, 1987 .
Philippe Darondeau, Eric Badouel, 1991, Theor. Comput. Sci..
Philippe Darondeau, Eike Best, Harro Wimmel, 2007, Fundam. Informaticae.
Philippe Darondeau, Eike Best, E. Best, 2011, Fundam. Informaticae.
Philippe Darondeau, Eric Badouel, 2002 .
Philippe Darondeau, P. Darondeau, 2001, Theor. Comput. Sci..
Philippe Darondeau, P. Darondeau, 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, ICALP.
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, WODES.
Philippe Darondeau, S. Laurie Ricker, P. Darondeau, 2011, ART @ Petri Nets.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015, Texts in Theoretical Computer Science. An EATCS Series.
Loïc Hélouët, Benoît Caillaud, Philippe Darondeau, 2000, MOVEP.
Philippe Darondeau, Jean-Claude Raoult, Eric Badouel, 1999, Inf. Comput..
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1997, Theor. Comput. Sci..
Benoît Caillaud, Philippe Darondeau, Eric Badouel, 2007, 2006 8th International Workshop on Discrete Event Systems.
Philippe Darondeau, 1985, Theor. Comput. Sci..
Philippe Darondeau, Eric Badouel, Éric Badouel, 1992, CONCUR.
Philippe Darondeau, Eric Badouel, Marek A. Bednarczyk, 2001, Unifying Petri Nets.
Philippe Darondeau, Jan Komenda, Anne Bouillard, 2011, IEEE Conference on Decision and Control and European Control Conference.
Philippe Darondeau, Eike Best, 2012, POST.
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, Semantics of Systems of Concurrent Processes.
Philippe Darondeau, Laurent Kott, P. Darondeau, 1984, Automata on Infinite Words.
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, IEEE Transactions on Automatic Control.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1996, Petri Nets.
Philippe Darondeau, Laurent Kott, P. Darondeau, 1983, ICALP.
Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage, 1974, Symposium on Programming.
Philippe Darondeau, P. Darondeau, 1989, Theor. Comput. Sci..
Philippe Darondeau, P. Darondeau, 1990, Semantics of Systems of Concurrent Processes.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .
Philippe Darondeau, Pierpaolo Degano, 1993, Theor. Comput. Sci..
Philippe Darondeau, B. Gamatie, P. Darondeau, 1987, TAPSOFT, Vol.1.
Philippe Darondeau, Stéphane Demri, Roland Meyer, 2011, FSTTCS.
Philippe Darondeau, S. Laurie Ricker, P. Darondeau, 2012, Trans. Petri Nets Other Model. Concurr..
Luciano Lavagno, Benoît Caillaud, Philippe Darondeau, 2002, Springer US.
Philippe Darondeau, Eike Best, 2009, Acta Informatica.
Philippe Darondeau, Eike Best, 2010, Petri Nets.
Philippe Darondeau, Philippe Darondeau, 1980, Symposium on Programming.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015 .
Philippe Darondeau, Sadatoshi Kumagai, René K. Boel, 2005, Discret. Event Dyn. Syst..
Philippe Darondeau, P. Darondeau, 2000, ICATPN.
Philippe Darondeau, 1986, STACS.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1995, Category Theory and Computer Science.
Benoît Caillaud, Philippe Darondeau, Eric Badouel, 2002, Formal Aspects of Computing.
Laure Petrucci, Philippe Darondeau, 2007 .
Andrew Tokmakoff, Philippe Darondeau, Eric Badouel, 1999, PDPTA.
Maria Pia Fanti, Philippe Darondeau, Carla Seatzu, 2011 .
Philippe Darondeau, Eric Badouel, 1990 .