( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Concurrency in Synchronous Systems

, , и . Formal Methods in System Design, 28 (2): 111--130 (марта 2006)
DOI: 10.1007/s10703-006-7844-8

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.

Florian Caillaud

Benoît Cordonnier

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

Benoit Courmont

Benoît Mindzeng

David Benoit

 

Другие публикации лиц с тем же именем

Mind the gap: Expanding communication options in decentralized discrete-event control., и . Autom., 47 (11): 2364-2372 (2011)Modular System Development with Pullbacks., , , , и . ICATPN, том 2679 из Lecture Notes in Computer Science, стр. 140-160. Springer, (2003)Modal interfaces: unifying interface automata and modal specifications., , , , , и . EMSOFT, стр. 87-96. ACM, (2009)Correctness of Automated Distribution of Sequential Programs., , , и . PARLE, том 694 из Lecture Notes in Computer Science, стр. 517-528. Springer, (1993)HMSCs as Partial Specifications ... with PNs as Completions., , , и . MOVEP, том 2067 из Lecture Notes in Computer Science, стр. 125-152. Springer, (2000)From Hybrid Automata to DAE-Based Modeling., , и . Principles of Systems Design, том 13660 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2022)Mind the gap: Expanding communication options in decentralized discrete-event control., и . CDC, стр. 5924-5929. IEEE, (2007)Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers., и . ECC, стр. 2602-2607. IEEE, (2009)Concurrency in Synchronous Systems, , и . Formal Methods in System Design, 28 (2): 111--130 (марта 2006)Tag machines., , , и . EMSOFT, стр. 255-263. ACM, (2005)