C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An On-Chain Smart Contract Protocol for Tangle.
Guangcheng Li
Qinglin Zhao
MengChu Zhou
Hong Liang
Published in:
ICNSC (2022)
Keyphrases
</>
contractual obligations
lightweight
contract net protocol
supply chain
formal analysis
dispute resolution
coloured petri nets
communication protocol
network protocols
file transfer
database systems
search algorithm
model checking
smart grid
cryptographic protocols