( en | de | ru )

 

Disambiguierung von "Bartoletti, Massimo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Debits and Credits in Petri Nets and Linear Logic.

, , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2015)

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.

Massimo Viola

Massimo Malagó

Massimo Tallarida

Massimo Moser

Massimo Busin

 

Weitere Publikationen von Autoren mit dem selben Namen

Developing Honest Java Programs with Diogenes., und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 52-61. Springer, (2016)Debits and Credits in Petri Nets and Linear Logic., , , und . Logic, Rewriting, and Concurrency, Volume 9200 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2015)Vicious circles in contracts and in logic., , , und . Sci. Comput. Program., (2015)MEV-Freedom, in DeFi and Beyond (Invited Talk).. FMBC@CAV, Volume 105 von OASIcs, Seite 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Developing secure bitcoin contracts with BitML., , , , und . ESEC/SIGSOFT FSE, Seite 1124-1128. ACM, (2019)A Minimal Core Calculus for Solidity Contracts., , und . DPM/CBT@ESORICS, Volume 11737 von Lecture Notes in Computer Science, Seite 233-243. Springer, (2019)SoK: Lending Pools in Decentralized Finance., , und . CoRR, (2020)A theory of transaction parallelism in blockchains., , und . CoRR, (2020)Models of Circular Causality., , , und . ICDCIT, Volume 8956 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2015)Bitcoin Covenants Unchained., , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 25-42. Springer, (2020)