@inproceedings{bartoletti:hal-03387829, TITLE = {{A Theory of Automated Market Makers in DeFi}}, AUTHOR = {Bartoletti, Massimo and Chiang, James Hsin-Yu and Lluch-Lafuente, Alberto}, URL = {https://inria.hal.science/hal-03387829}, NOTE = {Part 3: Large-Scale Decentalised Systems}, BOOKTITLE = {{23th International Conference on Coordination Languages and Models (COORDINATION)}}, ADDRESS = {Valletta, Malta}, EDITOR = {Ferruccio Damiani and Ornela Dardha}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Coordination Models and Languages}, VOLUME = {LNCS-12717}, PAGES = {168-187}, YEAR = {2021}, MONTH = Jun, DOI = {10.1007/978-3-030-78142-2\_11}, PDF = {https://inria.hal.science/hal-03387829/file/509400_1_En_11_Chapter.pdf}, HAL_ID = {hal-03387829}, HAL_VERSION = {v1}, }