( en | de | ru )

 

Disambiguierung von "de Frutos-Escrig, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts.

, , , , und . Theor. Comput. Sci., (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.

David de Wild

Francisco Frutos-Alfaro

Maria Teresa Escrig

Wahyudi David

Florian Bodo David

 

Weitere Publikationen von Autoren mit dem selben Namen

Name Creation vs. Replication in Petri Net Systems., und . ICATPN, Volume 4546 von Lecture Notes in Computer Science, Seite 402-422. Springer, (2007)Some Probabilistic Powerdomains in the Category SFP.. STACS, Volume 210 von Lecture Notes in Computer Science, Seite 49-59. Springer, (1986)Inverse Expansion., , , , und . FORTE, Volume C-2 von IFIP Transactions, Seite 297-312. North-Holland, (1991)Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)., und . Acta Inf., 54 (1): 1-2 (2017)On the Unification of Process Semantics: Logical Semantics, und . SOS, Volume 62 von EPTCS, Seite 47-61. (2011)(Bi)simulations up-to characterise process semantics., und . Inf. Comput., 207 (2): 146-170 (2009)Games for Bisimulations and Abstraction., , und . CoRR, (2016)sPBC: A Markovian Extension of Finite Petri box calculus., , und . PNPM, Seite 207-216. IEEE Computer Society, (2001)On the Unification of Process Semantics: Observational Semantics., , und . SOFSEM, Volume 5404 von Lecture Notes in Computer Science, Seite 279-290. Springer, (2009)Process Equivalences as Global Bisimulations., und . J. Univers. Comput. Sci., 12 (11): 1521-1550 (2006)