P. Darondeau

发表

Éric Badouel, P. Darondeau, 1996 .
L. Petrucci, Éric Badouel, P. Darondeau, 2011 .
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, ICALP.
Maria Pia Fanti, Philippe Darondeau, Carla Seatzu, 2011 .
Philippe Darondeau, P. Darondeau, 1991, Bull. EATCS.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1996, Petri Nets.
Philippe Darondeau, Serge Yoccoz, P. Darondeau, 1992, Inf. Comput..
Philippe Darondeau, S. Laurie Ricker, Hervé Marchand, 2015, Discret. Event Dyn. Syst..
H. Marchand, P. Darondeau, Laurie Ricker, 2014, Discrete Event Dynamic Systems.
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, WODES.
Philippe Darondeau, P. Darondeau, 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
P. Darondeau, P. Darondeau, 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
Philippe Darondeau, Eric Badouel, Éric Badouel, 2004, Inf. Comput..
Philippe Darondeau, Laurent Kott, P. Darondeau, 1983, ICALP.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1995, Acta Informatica.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1992, CONCUR.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1997, Theor. Comput. Sci..
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 1995, TAPSOFT.
Philippe Darondeau, Eike Best, E. Best, 2011, Ershov Memorial Conference.
Maciej Koutny, Philippe Darondeau, Marta Pietkiewicz-Koutny, 2008, Fundam. Informaticae.
Philippe Darondeau, P. Darondeau, 2008, Concurrency, Graphs and Models.
Philippe Darondeau, P. Darondeau, 2000, ICATPN.
Philippe Darondeau, S. Laurie Ricker, P. Darondeau, 2012, Trans. Petri Nets Other Model. Concurr..
Philippe Darondeau, Serge Guiboud-Ribaud, Claude Otrage, 1974, Symposium on Programming.
Philippe Darondeau, P. Darondeau, 1990, Semantics of Systems of Concurrent Processes.
Philippe Darondeau, Eike Best, E. Best, 2011, Fundam. Informaticae.
Philippe Darondeau, Eike Best, E. Best, 2008, Petri Nets.
Philippe Darondeau, P. Darondeau, 1998, CONCUR.
Philippe Darondeau, Eric Badouel, Luca Bernardinello, 2015, Texts in Theoretical Computer Science. An EATCS Series.
Philippe Darondeau, P. Darondeau, 2001, Theor. Comput. Sci..
Philippe Darondeau, Stéphane Demri, Roland Meyer, 2012, Log. Methods Comput. Sci..
Philippe Darondeau, Stéphane Demri, Roland Meyer, 2011, FSTTCS.
P. Darondeau, H. Marchand, H. Marchand, 2008, 2008 9th International Workshop on Discrete Event Systems.
Benoît Caillaud, Philippe Darondeau, Eric Badouel, 2007, 2006 8th International Workshop on Discrete Event Systems.
Philippe Darondeau, S. Laurie Ricker, P. Darondeau, 2011, ART @ Petri Nets.
Philippe Darondeau, X. Xie, P. Darondeau, 2003, Autom..
Benoît Caillaud, Laurence Dinh, Eric Badouel, 2007 .
Philippe Darondeau, Eric Badouel, Marek A. Bednarczyk, 2001, Unifying Petri Nets.
Philippe Darondeau, P. Darondeau, 2003, Lectures on Concurrency and Petri Nets.
Benoît Caillaud, Philippe Darondeau, Eric Badouel, 2002, Formal Aspects of Computing.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1997, FCT.
Philippe Darondeau, Hervé Marchand, Jérémy Dubreil, 2010, IEEE Transactions on Automatic Control.
Philippe Darondeau, Eric Badouel, Éric Badouel, 1995, Category Theory and Computer Science.
Philippe Darondeau, B. Gamatie, P. Darondeau, 1987, TAPSOFT, Vol.1.
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1990, MFCS.
Philippe Darondeau, Laurent Kott, P. Darondeau, 1984, Automata on Infinite Words.
Philippe Darondeau, P. Darondeau, 1989, Theor. Comput. Sci..
Philippe Darondeau, Laurent Kott, P. Darondeau, 1984, Inf. Process. Lett..
Loïc Hélouët, Philippe Darondeau, Blaise Genest, 2008, FoSSaCS.
Loïc Hélouët, Benoît Caillaud, Philippe Darondeau, 2000, MOVEP.
Philippe Darondeau, Jean-Claude Raoult, Eric Badouel, 1995, Inf. Comput..
Philippe Darondeau, Pierpaolo Degano, P. Darondeau, 1989, Semantics of Systems of Concurrent Processes.