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