A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

Blockchain- and smart-contract technology enhance the effectiveness and automation of business processes. The rising interest in the development of decentralized autonomous organizations (DAO) shows that blockchain technology has the potential to reform business and society. A DAO is an organization...

Full description

Bibliographic Details
Main Authors: Vimal Dwivedi, Alex Norta, Alexander Wulf, Benjamin Leiding, Sandeep Saxena, Chibuzor Udokwu
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Blockchain
smart contract
decentralized autonomous organization
ontology
smart contract language
business process
Online Access:https://ieeexplore.ieee.org/document/9435331/

Similar Items

Similar Items