Author of the publication

Partial Orders, Event Structures and Linear Strategies.

, and . TLCA, volume 5608 of Lecture Notes in Computer Science, page 95-111. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parallelism and Synchronization in an Infinitary Context (Long Version)., , , and . CoRR, (2015)Interactive observability in Ludics: The geometry of tests.. Theor. Comput. Sci., 350 (2-3): 213-233 (2006)Higher-Order Bayesian Networks, Exactly (Extended version)., , and . CoRR, (2023)Travelling on Designs.. CSL, volume 2471 of Lecture Notes in Computer Science, page 427-441. Springer, (2002)L-Nets, Strategies and Proof-Nets., and . CSL, volume 3634 of Lecture Notes in Computer Science, page 167-183. Springer, (2005)Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms.. Log. Methods Comput. Sci., (2022)An approach to innocent strategies as graphs., and . Inf. Comput., (2012)Factorize Factorization., , and . CSL, volume 183 of LIPIcs, page 6:1-6:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Solvability in a Probabilistic Setting (Invited Talk)., , and . FSCD, volume 167 of LIPIcs, page 1:1-1:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Geometry of Synchronization (Long Version)., , , and . CoRR, (2014)