References

1. Nicola Atzei, Massimo Bartoletti & Tiziana Cimoli (2017): A survey of attacks on Ethereum smart contracts (SoK). In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10204 LNCS, pp. 164–186, doi:10.1007/978-3-662-54455-6_8.
2. Roberto Bruni, José Meseguer, Ugo Montanari & Vladimiro Sassone (2001): Functorial Models for Petri Nets. Information and Computation 170(2), pp. 207–236, doi:10.1006/inco.2001.3050.
3. Vitalik Buterin (2014): A Next-generation Smart Contract and Decentralized Application Platform. Ethereum January, pp. 1–36. Available at http://buyxpr.com/build/pdfs/EthereumWhitePaper.pdf.
4. Bob Coecke & Aleks Kissinger (2017): Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, doi:10.1017/9781316219317.
5. Neil Ghani, Jules Hedges, Viktor Winschel & Philipp Zahn (2016): Compositional Game Theory. Available at http://arxiv.org/abs/1603.04641.
6. Investopedia: Long Position. Available at https://www.investopedia.com/terms/l/long.asp.
7. Investopedia: Put Option. Available at https://www.investopedia.com/terms/p/putoption.asp.
8. Investopedia: Short Position. Available at https://www.investopedia.com/terms/s/short.asp.
9. K.D. Joshi (2003): Applied Discrete Structures. New Age International.
10. Gregory Maxwell Kelly & Maria L. Laplaza (1980): Coherence for Compact Closed Categories. Journal of Pure and Applied Algebra 19, pp. 193–213, doi:10.1016/0022-4049(80)90101-2.
11. José Meseguer & Ugo Montanari (1990): Petri Nets are Monoids. Information and Computation 88(2), pp. 105–155, doi:10.1016/0890-5401(90)90013-8.
12. Satoshi Nakamoto (2008): Bitcoin: A Peer-to-Peer Electronic Cash System. www.bitcoin.org, pp. 1–9. Available at https://bitcoin.org/bitcoin.pdf.
13. Mogens Nielsen (1991): Models for Concurrency. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 520 LNCS, pp. 43–46, doi:10.1007/3-540-54345-7_47.
14. Carl Petri & Wolfgang Reisig (2008): Petri Net. Scholarpedia 3(4), pp. 6477, doi:10.4249/scholarpedia.6477.
15. Robert-Christoph Riemann (1999): Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag.
16. Vladimiro Sassone (1995): On the Category of Petri Net Computations. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 915, pp. 334–348, doi:10.1007/3-540-59293-8_205.
17. Vladimiro Sassone (1996): An axiomatization of the algebra of Petri net concatenable processes. Theoretical Computer Science 170(1-2), pp. 277–296, doi:10.1016/S0304-3975(96)00009-6.
18. Vladimiro Sassone (2000): On the Algebraic Structure of Petri Nets. Bulletin of the EATCS 72, pp. 133–148. Available at http://eprints.ecs.soton.ac.uk/11825/.
19. Peter Selinger (2010): A Survey of Graphical Languages for Monoidal Categories. In: New structures for physics 813. Springer, pp. 289–355, doi:10.1007/978-3-642-12821-9_4.
20. Pawel Sobociński (2010): Representations of Petri Net Interactions. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6269 LNCS, pp. 554–568, doi:10.1007/978-3-642-15375-4_38.
21. Statebox Foundation (2017): Statebox. Available at https://statebox.org.
22. Viktor Winschel & Markus Krätzig (2010): Solving, Estimating, and Selecting Nonlinear Dynamic Models Without the Curse of Dimensionality. Econometrica 78(2), pp. 803–821, doi:10.3982/ECTA6297.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org