( en | de | ru )

 

Disambiguierung von "Melgratti, Hernán C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Event Structures for Petri nets with Persistence.

, , , , , und . Logical Methods in Computer Science, (2018)

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.

Hernán Peredo

Hernán Pringe

Hernán Badino

Hernán Rodríguez

Hernán Vanzetto

 

Weitere Publikationen von Autoren mit dem selben Namen

Bayesian network semantics for Petri nets., , und . Theor. Comput. Sci., (2020)Multiparty testing preorders., und . CoRR, (2016)A Connector Algebra for P/T Nets Interactions., , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 312-326. Springer, (2011)On Resolving Non-determinism in Choreographies., , und . CoRR, (2019)Translating Orc Features into Petri Nets and the Join Calculus., , und . WS-FM, Volume 4184 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2006)Nested Commits for Mobile Calculi: Extending Join., , und . IFIP TCS, Volume 155 von IFIP, Seite 563-576. Kluwer/Springer, (2004)cJoin: Join with communicating transactions., , und . Math. Struct. Comput. Sci., 25 (3): 566-618 (2015)Dynamic Graph Transformation Systems., und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 230-244. Springer, (2006)A Survey on Basic Connectors and Buffers., , und . FMCO, Volume 7542 von Lecture Notes in Computer Science, Seite 49-68. Springer, (2011)Resolving Non-determinism in Choreographies., , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 493-512. Springer, (2014)