Autor der Publikation

Reasoning about Optimistic Concurrency Using a Program Logic for History.

, , , , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 388-402. Springer, (2010)

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

Reliable Message Delivery for Mobile Agents: Push or Pull., , , , und . ICPADS, Seite 314-320. IEEE Computer Society, (2002)Adaptive and reliable message delivery for mobile objects., , , und . GLOBECOM, Seite 3196-3200. IEEE, (2003)An operational happens-before memory model., und . Frontiers Comput. Sci., 10 (1): 54-81 (2016)A Structural Approach to Prophecy Variables., , , , und . TAMC, Volume 7287 von Lecture Notes in Computer Science, Seite 61-71. Springer, (2012)Modular verification of assembly code with stack-based control abstractions., , , , und . PLDI, Seite 401-414. ACM, (2006)Modular verification of concurrent assembly code with dynamic thread creation and termination., und . ICFP, Seite 254-267. ACM, (2005)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , und . VSTTE, Volume 5295 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2008)Local rely-guarantee reasoning.. POPL, Seite 315-327. ACM, (2009)Modular Verification of Concurrent Thread Management., , , und . APLAS, Volume 7705 von Lecture Notes in Computer Science, Seite 315-331. Springer, (2012)An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems., , , und . Mobile Agents, Volume 2240 von Lecture Notes in Computer Science, Seite 135-151. Springer, (2001)