( en | de | ru )

 

Disambiguation of "Petit, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces.

, , , and . Inf. Process. Lett., 67 (6): 277-282 (1998)

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.

Antoine Petit

Christophe Petit

Marc Petit

Mathieu Petit

Eberhard Petit

 

Other publications of authors with the same name

Timed Control with Partial Observability., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 180-192. Springer, (2003)Refinements and Abstractions of Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)Asynchronous Cellular Automata for Infinite Traces., and . ICALP, volume 623 of Lecture Notes in Computer Science, page 583-594. Springer, (1992)Decomposition and Composition of Timed Automata., and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 210-219. Springer, (1999)An Algebraic Characterization of Data and Timed Languages., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 248-261. Springer, (2001)A (Non-elementary) Modular Decision Procedure for LTrL., , and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 356-365. Springer, (1998)An algebraic approach to data languages and timed languages., , and . Inf. Comput., 182 (2): 137-162 (2003)Using Physical Modeling and RGB-D Registration for Contact Force Sensing on Deformable Objects., , , , and . ICINCO (2), page 24-33. SciTePress, (2017)On the Undecidability of Deadlock Detection in Families of Nets., and . STACS, volume 900 of Lecture Notes in Computer Science, page 479-490. Springer, (1995)Expressiveness of Updatable Timed Automata., , , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 232-242. Springer, (2000)