( en | de | ru )

 

Disambiguation of "Petri, Gustavo"

Author of the publication

copydeleteadd this publication to your clipboard
Consistency in 3D.

, , and . CONCUR, volume 59 of LIPIcs, page 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gustavo Corni

Besiegelte Freundschaft: die brandenburgischen Erbeinungen und Erbverbrüderungen im späten Mittelalter. Uni Frankfurt Main, (2008)

Gustavo Grupe

Gustavo Publio University of Leipzig

Gustavo Sousa

Gustavo Cei

 

Other publications of authors with the same name

Consistency in 3D., , and . CONCUR, volume 59 of LIPIcs, page 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)BASEL (Buffering Architecture SpEcification Language)., , , , , and . CoRR, (2015)Proving the Safety of Highly-Available Distributed Objects., , and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 544-571. Springer, (2020)BASEL (Buffer mAnagement SpEcification Language)., , , , , and . ANCS, page 69-74. ACM, (2016)A programmable buffer management platform., , , , , , and . ICNP, page 1-10. IEEE Computer Society, (2017)Replication-aware linearizability., , , and . PLDI, page 980-993. ACM, (2019)Towards Software-Defined Buffer Management., , , , , , and . IEEE/ACM Trans. Netw., 28 (5): 2337-2349 (2020)Invariant Safety for Distributed Applications., , and . CoRR, (2019)Cooking the Books: Formalizing JMM Implementation Recipes., , and . ECOOP, volume 37 of LIPIcs, page 445-469. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Confidential Computing - a brave new world., , , , and . SEED, page 132-138. IEEE, (2021)