PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Glavan, Paola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proving properties of the Chord protocol using the ASM formalism.

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

Keine Personen gefunden für den Autorennamen Glavan, Paola
Eine Person hinzufügen mit dem Namen Glavan, Paola
 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model., , , und . IFIP Congress (1), Volume A-51 von IFIP Transactions, Seite 396-401. North-Holland, (1994)Evolving Algebra Model of Programming Language Semantics., und . IFIP Congress (1), Volume A-51 von IFIP Transactions, Seite 416-422. North-Holland, (1994)Analyzing the exhaustiveness of the Synapse protocol., , , , , und . Peer-to-Peer Networking and Applications, 8 (5): 793-806 (2015)Verification of Causality Requirements in Java Memory Model Is Undecidable., , und . PPAM (2), Volume 6068 von Lecture Notes in Computer Science, Seite 62-67. Springer, (2009)Correctness of the Chord Protocol., , , und . IIKI, Seite 547-552. IEEE Computer Society, (2016)Communicating Evolving Algebras., und . CSL, Volume 702 von Lecture Notes in Computer Science, Seite 182-215. Springer, (1992)Proving properties of the Chord protocol using the ASM formalism., , und . Theor. Comput. Sci., (2019)Description of the Chord Protocol using ASMs Formalism, , und . CoRR, (2012)Correctness of the Chord Protocol., , , , und . CoRR, (2017)Probabilistic Consensus of the Blockchain Protocol., , , , und . ECSQARU, Volume 11726 von Lecture Notes in Computer Science, Seite 469-480. Springer, (2019)