On the use of Petri Nets in smart contracts modeling, generation and verification
We discuss the contribution of the Petri net formalism to the BOSE for Smart Contract design
and development. We address this discussion based on the analysis of recently published …
and development. We address this discussion based on the analysis of recently published …
Blockchain document forwarding and proof method based on NDN network
P Kang, Y Wenzhong, T Ding - IEEE Access, 2022 - ieeexplore.ieee.org
The digitization of the national economy and the development of the national network have
rapidly increased the amount of data, and research in content storage and forwarding is …
rapidly increased the amount of data, and research in content storage and forwarding is …