( en | de | ru )

 

Disambiguierung von "Madelaine, Eric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic bisimulation for open and parameterized systems.

, und . PEPM@POPL, Seite 14-26. ACM, (2020)

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.

Madelaine Hildebrand

Madelaine Miethke

Madelaine Böhme

Madelaine Matjak

Madelaine Löfqvist

 

Weitere Publikationen von Autoren mit dem selben Namen

Finiteness Conditions and Structural Construction of Automata for All Process Algebras., und . CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 275-292. DIMACS/AMS, (1990)Verification of Concurrent Design Patterns with Data., , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 161-181. Springer, (2019)A Denotational Semantics for Parameterised Networks of Synchronised Automata., und . UTP, Volume 10134 von Lecture Notes in Computer Science, Seite 93-113. Springer, (2016)Compositional equivalences based on Open pNets., , und . CoRR, (2020)Selected and extended papers from FACS 2016., und . Sci. Comput. Program., (2019)Specification, Model Generation, and Verification of Distributed Applications.. (2011)Symbolic bisimulation for open and parameterized systems., und . PEPM@POPL, Seite 14-26. ACM, (2020)Compositional equivalences based on open pNets., , und . J. Log. Algebraic Methods Program., (Februar 2023)Verification of Distributed Hierarchical Components., , und . FACS, Volume 160 von Electronic Notes in Theoretical Computer Science, Seite 41-55. Elsevier, (2005)Preface., und . FACS, Volume 215 von Electronic Notes in Theoretical Computer Science, Seite 1-3. Elsevier, (2007)