Agent-Based Simulations of Blockchain protocols illustrated via Kadena's Chainweb. - Tarun Chitra; Monica Quaintance; Stuart Haber; Will Martino (EuroS&P Workshops, 2019)