( en | de | ru )

 

Disambiguation of "Caillaud, Benoît"

Author of the publication

copydeleteadd this publication to your clipboard
Why Are Modalities Good for Interface Theories?.

, , , , and . ACSD, page 119-127. IEEE Computer Society, (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.

Benoît Cordonnier

Non-Newtonian effects in silicate liquids and crystal bearing melts: implication for magma dynamics. Uni München, (2009)

Benoît Mindzeng

Benoît Vaugon

Benoît Delahaye

Benoît Bertholon

 

Other publications of authors with the same name

Modal interfaces: unifying interface automata and modal specifications., , , , , and . EMSOFT, page 87-96. ACM, (2009)Correctness of Automated Distribution of Sequential Programs., , , and . PARLE, volume 694 of Lecture Notes in Computer Science, page 517-528. Springer, (1993)Mind the gap: Expanding communication options in decentralized discrete-event control., and . Autom., 47 (11): 2364-2372 (2011)Modular System Development with Pullbacks., , , , and . ICATPN, volume 2679 of Lecture Notes in Computer Science, page 140-160. Springer, (2003)HMSCs as Partial Specifications ... with PNs as Completions., , , and . MOVEP, volume 2067 of Lecture Notes in Computer Science, page 125-152. Springer, (2000)Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers., and . ECC, page 2602-2607. IEEE, (2009)From Hybrid Automata to DAE-Based Modeling., , and . Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 3-20. Springer, (2022)Mind the gap: Expanding communication options in decentralized discrete-event control., and . CDC, page 5924-5929. IEEE, (2007)Tag machines., , , and . EMSOFT, page 255-263. ACM, (2005)Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits., , , and . FMGALS@MEMOCODE, volume 146 of Electronic Notes in Theoretical Computer Science, page 81-103. Elsevier, (2005)