Publisher
Open Publishing Association
Reference18 articles.
1. A survey of attacks on Ethereum smart contracts (SoK);Atzei,2017
2. Functorial Models for Petri Nets;Bruni;Information and Computation,2001
3. A Next-generation Smart Contract and Decentralized Application Platform;Buterin;Ethereum,2014
4. Picturing Quantum Processes
5. Compositional Game Theory;Ghani,2016
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Categorical Semantics for Bounded Petri Nets;Electronic Proceedings in Theoretical Computer Science;2022-11-03
2. Yoneda Hacking: The Algebra of Attacker Actions;ACM Transactions on Cyber-Physical Systems;2022-07-31
3. A Categorical Semantics for Hierarchical Petri Nets;Electronic Proceedings in Theoretical Computer Science;2021-12-21
4. Categories of Nets;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
5. Nets with Mana: A Framework for Chemical Reaction Modelling;Graph Transformation;2021