共 50 条
- [42] On the Formal Verification of Smart Contracts [J]. 2023 11TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION, CONISOFT 2023, 2023, : 18 - 24
- [43] Behavioral Simulation for Smart Contracts [J]. PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 470 - 486
- [44] Smart Contracts and the Coase Conjecturer [J]. AMERICAN ECONOMIC REVIEW, 2023, 113 (05): : 1334 - 1359
- [45] The Legal Meaning of Smart Contracts [J]. EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 731 - 751
- [46] Adding Concurrency to Smart Contracts [J]. PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 303 - 312
- [47] HRM Smart Contracts on the Blockchain [J]. 2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 194 - 199
- [48] Architecture for Smart SAFE Contracts [J]. 2021 3RD CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES (BRAINS), 2021, : 145 - 148
- [49] An Elasticity Framework for Smart Contracts [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON SMART DATA SERVICES (SMDS 2021), 2021, : 244 - 248