PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Faggian, Claudia"

Author of the publication

copydeleteadd this publication to your clipboard
Parallelism and Synchronization in an Infinitary Context (Long Version).

, , , and . CoRR, (2015)

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.

Claudia Teutsch University of Stuttgart

Claudia Sabo University of Stuttgart

Claudia Marianowski University of Stuttgart

Claudia Hildebrandt University of Stuttgart

Claudia Hofer University of Stuttgart

 

Other publications of authors with the same name

L-Nets, Strategies and Proof-Nets., and . CSL, volume 3634 of Lecture Notes in Computer Science, page 167-183. Springer, (2005)Travelling on Designs.. CSL, volume 2471 of Lecture Notes in Computer Science, page 427-441. Springer, (2002)Parallelism and Synchronization in an Infinitary Context (Long Version)., , , and . CoRR, (2015)An approach to innocent strategies as graphs., and . Inf. Comput., (2012)Interactive observability in Ludics: The geometry of tests.. Theor. Comput. Sci., 350 (2-3): 213-233 (2006)Jump from Parallel to Sequential Proofs: Multiplicatives., and . CSL, volume 4207 of Lecture Notes in Computer Science, page 319-333. Springer, (2006)The Geometry of Synchronization (Long Version)., , , and . CoRR, (2014)Partial Orders, Event Structures and Linear Strategies., and . TLCA, volume 5608 of Lecture Notes in Computer Science, page 95-111. Springer, (2009)Interactive Observability in Ludics.. ICALP, volume 3142 of Lecture Notes in Computer Science, page 506-518. Springer, (2004)Factorization and Normalization, Essentially., , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 159-180. Springer, (2019)