Autor der Publikation

Bounded Version Vectors Using Mazurkiewicz Traces.

, , und . ACSS (1), Volume 1178 von Advances in Intelligent Systems and Computing, Seite 31-42. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)., , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 293-308. Springer, (2015)Optimized OR-Sets without Ordering Constraints., , und . ICDCN, Volume 8314 von Lecture Notes in Computer Science, Seite 227-241. Springer, (2014)Bounded Implementations of Replicated Data Types., , und . VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 355-372. Springer, (2015)Formalizing and Checking Multilevel Consistency., , , , und . VMCAI, Volume 11990 von Lecture Notes in Computer Science, Seite 379-400. Springer, (2020)Bounded Version Vectors Using Mazurkiewicz Traces., , und . ACSS (1), Volume 1178 von Advances in Intelligent Systems and Computing, Seite 31-42. Springer, (2020)