( en | de | ru )

 

Disambiguation of "Bartoletti, Massimo"

Author of the publication

copydeleteadd this publication to your clipboard
Debits and Credits in Petri Nets and Linear Logic.

, , , and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 135-159. Springer, (2015)

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.

Massimo Viola

Massimo Tallarida

Massimo Malagó

Massimo Moser

Massimo Epis

 

Other publications of authors with the same name

Developing Honest Java Programs with Diogenes., and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 52-61. Springer, (2016)Debits and Credits in Petri Nets and Linear Logic., , , and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 135-159. Springer, (2015)Models of Circular Causality., , , and . ICDCIT, volume 8956 of Lecture Notes in Computer Science, page 1-20. Springer, (2015)Contracts as games on event structures., , , and . J. Log. Algebraic Methods Program., 85 (3): 399-424 (2016)Bitcoin Covenants Unchained., , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 25-42. Springer, (2020)SoK: Lending Pools in Decentralized Finance., , and . CoRR, (2020)Vicious circles in contracts and in logic., , , and . Sci. Comput. Program., (2015)A theory of transaction parallelism in blockchains., , and . CoRR, (2020)MEV-Freedom, in DeFi and Beyond (Invited Talk).. FMBC@CAV, volume 105 of OASIcs, page 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Developing secure bitcoin contracts with BitML., , , , and . ESEC/SIGSOFT FSE, page 1124-1128. ACM, (2019)