( en | de | ru )

 

Disambiguierung von "Caillaud, Benoît"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Measuring Concurrency of Regular Distributed Computations.

, , , und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 711-725. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

Modal interfaces: unifying interface automata and modal specifications., , , , , und . EMSOFT, Seite 87-96. ACM, (2009)Correctness of Automated Distribution of Sequential Programs., , , und . PARLE, Volume 694 von Lecture Notes in Computer Science, Seite 517-528. Springer, (1993)HMSCs as Partial Specifications ... with PNs as Completions., , , und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 125-152. Springer, (2000)Modular System Development with Pullbacks., , , , und . ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 140-160. Springer, (2003)Mind the gap: Expanding communication options in decentralized discrete-event control., und . Autom., 47 (11): 2364-2372 (2011)From Hybrid Automata to DAE-Based Modeling., , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 3-20. Springer, (2022)Mind the gap: Expanding communication options in decentralized discrete-event control., und . CDC, Seite 5924-5929. IEEE, (2007)Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers., und . ECC, Seite 2602-2607. IEEE, (2009)From multi-clocked synchronous processes to latency-insensitive modules., , , und . EMSOFT, Seite 282-285. ACM, (2005)The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.. FORTE, Volume C-2 von IFIP Transactions, Seite 329-344. North-Holland, (1991)