Aurélien Pardon

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. CONCUR (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Variable binding, symmetric monoidal closed theories, and bigraphs CoRR (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the Pi-Calculus CoRR (2009)
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
Encapsulation and Dynamic Modularity in the pi-calculus. Electron. Notes Theor. Comput. Sci. 241 (2009)
Richard Garner, Tom Hirschowitz, Aurélien Pardon
Graphical Presentations of Symmetric Monoidal Closed Theories CoRR (2008)
Tom Hirschowitz, Aurélien Pardon
Binding bigraphs as symmetric monoidal closed theories CoRR (2008)