( en | de | ru )

 

Disambiguierung von "Gastin, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Non-Sequential Theory of Distributed Systems.

, und . CoRR, (2019)

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.

Christine Paul

Heinz Paulsen

Uwe Paulsen

Dieter Paulsen

Reinhold Paul

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial., und . Journal of Automata, Languages and Combinatorics, 7 (2): 165 (2002)Asynchronous Cellular Automata for Pomsets Without Auto-concurrency., und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 627-638. Springer, (1996)Fast Algorithms for Handling Diagonal Constraints in Timed Automata., , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 41-59. Springer, (2019)Avoiding State Explosion for Distributed Systems with Timestamps., , und . FME, Volume 2021 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2001)Recognizable Complex Trace Languages., , und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 131-140. Springer, (1991)Weighted Automata and Weighted Logics., und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 513-525. Springer, (2005)On Recognizable and Rational Formal Power Series in Partially Commuting Variables., und . ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 682-692. Springer, (1997)Intersection of Regular Signal-Event (Timed) Languages., , und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 52-66. Springer, (2006)Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets., und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 55-69. Springer, (2001)Analyzing Timed Systems Using Tree Automata., , und . Log. Methods Comput. Sci., (2018)