Author:
Chakravarty Manuel M. T.,Chapman James,MacKenzie Kenneth,Melkonian Orestis,Müller Jann,Peyton Jones Michael,Vinogradova Polina,Wadler Philip
Publisher
Springer International Publishing
Reference18 articles.
1. Atzei, N., Bartoletti, M., Lande, S., Yoshida, N., Zunino, R.: Developing secure Bitcoin contracts with BitML. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1124–1128 (2019)
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bartoletti, M., Zunino, R.: BitML: a calculus for Bitcoin smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 83–100. ACM (2018)
4. Chakravarty, M.M.T., et al.: UTXO$$_{\rm ma}$$: UTXO with multi-asset support. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 112–130. Springer, Heidelberg (2020).
https://omelkonian.github.io/data/publications/utxoma.pdf
5. Lecture Notes in Computer Science;MMT Chakravarty,2020
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applying Continuous Formal Methods to Cardano (Experience Report);Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Software Architecture;2024-08-28
2. Internet Of Rights(IOR) in Role Based Blockchain;Communications in Computer and Information Science;2024
3. State Machines Across Isomorphic Layer 2 Ledgers;Financial Cryptography and Data Security;2023-12-01
4. TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
5. Blockchain-Based on Dew Computing for Unreliable Network;Internet of Things;2023-09-03