PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Gardner, Philippa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Program Logic for First-Order Encapsulated WebAssembly.

, , , und . CoRR, (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.

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

Weitere Publikationen von Autoren mit dem selben Namen

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)., , und . Electr. Notes Theor. Comput. Sci., (2015)Behavioural Equivalences for Dynamic Web Data., und . IFIP TCS, Volume 155 von IFIP, Seite 535-548. Kluwer/Springer, (2004)A process model of Rho GTP-binding proteins., , , , und . Theor. Comput. Sci., 410 (33-34): 3166-3185 (2009)Data Consistency in Transactional Storage Systems: a Centralised Approach., , , und . CoRR, (2019)Report on the EDBT/ICDT 2010 workshop on updates in XML., , , , , und . SIGMOD Record, 39 (1): 54-57 (2010)From Process Calculi to Process Frameworks.. CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 69-88. Springer, (2000)Abstraction and Refinement for Local Reasoning., , und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 199-215. Springer, (2010)TaDA: A Logic for Time and Data Abstraction., , und . ECOOP, Volume 8586 von Lecture Notes in Computer Science, Seite 207-231. Springer, (2014)Abstract Local Reasoning for Program Modules., , und . CALCO, Volume 6859 von Lecture Notes in Computer Science, Seite 36-39. Springer, (2011)Context logic and tree update., , und . POPL, Seite 271-282. ACM, (2005)