共 17 条
[1]
Barros Alistair, 2012, HDB SERVICE DESCRIPT, P187
[2]
Formal Verification of Smart Contracts Short Paper
[J].
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16),
2016,
:91-96
[3]
Buterin V., 2016, Ethereum Official webpage
[4]
Cachin C., 2016, WORKSHOP DISTRIBUTED, V310, P1
[5]
Clack C.D., 2016, ARXIV160800771
[6]
From Institutions to Code: Towards Automated Generation of Smart Contracts
[J].
2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W),
2016,
:210-215
[7]
Gaaloul, 2018, INBDCSINTELL, P27
[8]
Optimized Execution of Business Processes on Blockchain
[J].
BUSINESS PROCESS MANAGEMENT, BPM 2017,
2017, 10445
:130-146
[9]
Supporting Reuse of Smart Contracts through Service Orientation and Assisted Development
[J].
2019 IEEE INTERNATIONAL CONFERENCE ON DECENTRALIZED APPLICATIONS AND INFRASTRUCTURES (DAPPCON),
2019,
:59-68
[10]
Jorge C., 2009, P 1 INT S SERV SCI I, V9