( en | de | ru )

 

Disambiguierung von "Jancar, Petr"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Techniques for Decidability and Undecidability of Bisimilarity.

, und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 30-45. Springer, (1999)

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.

Andreas Petr

Petr Rudenko

Petr Obrdlik

Petr Hyspecký

Petr Danecek

 

Weitere Publikationen von Autoren mit dem selben Namen

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States., , und . Fundam. Informaticae, 169 (1-2): 123-150 (2019)Structural Liveness of Immediate Observation Petri Nets., und . Fundam. Informaticae, 188 (3): 179-215 (2022)An Approach to Verification of MPI Applications Defined in a High-Level Model., , , und . ACSD, Seite 55-64. IEEE Computer Society, (2016)On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs., , und . ACSD, Seite 47-56. IEEE Computer Society, (2006)Techniques for Decidability and Undecidability of Bisimilarity., und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 30-45. Springer, (1999)A Taxonomy of Forgetting Automata., , und . MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 527-536. Springer, (1993)Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States., , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2018)Finiteness up to bisimilarity is decidable for pushdown processes. CoRR, (2013)Deciding structural liveness of Petri nets.. CoRR, (2016)Petri Nets and Regular Processes., , und . J. Comput. Syst. Sci., 59 (3): 476-503 (1999)