( en | de | ru )

 

Disambiguierung von "Delbianco, Germán Andrés"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources.

, , und . CoRR, (2017)

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.

German Andres Vallejo Direktor

Germán Posada

Germán Errázuriz

Germán Berone

Germán Spangenberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources., , und . CoRR, (2017)Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects., , , und . CoRR, (2015)Hoare-style specifications as correctness conditions for non-linearizable concurrent objects., , , und . OOPSLA, Seite 92-110. ACM, (2016)Concurrent Data Structures Linked in Time., , , und . ECOOP, Volume 74 von LIPIcs, Seite 8:1-8:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations., , , und . CoRR, (2019)Hoare-style reasoning with (algebraic) continuations., und . ICFP, Seite 363-376. ACM, (2013)Concurrent Data Structures Linked in Time (Artifact)., , , und . Dagstuhl Artifacts Ser., 3 (2): 04:1-04:4 (2017)On algebraic abstractions for concurrent separation logics., , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)Concurrent Data Structures Linked in Time., , , und . CoRR, (2016)On Algebraic Abstractions for Concurrent Separation Logics., , , , und . CoRR, (2020)