Abstract
In this paper we focus on the expressiveness of smart contracts (SC) and its role in blockchain technologies (BCT), by presenting Tenderfone, a prototypical blockchain platform providing SC as pro-active, time-aware, and asynchronous entities.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: 13th EuroSys Conference (EuroSys 2018). ACM, New York (2018). https://doi.org/10.1145/3190508.3190538
Aublin, P.L., Guerraoui, R., Knežević, N., Quéma, V., Vukolić, M.: The next 700 BFT protocols. ACM Trans. Comput. Syst. 32(4), 1–45 (2015). https://doi.org/10.1145/2658994
Cachin, C., Vukolić, M.: Blockchain consensus protocols in the wild (keynote talk). In: 31st International Symposium on Distributed Computing (DISC 2017). LIPIcs, vol. 91, pp. 1:1–1:16. Dagstuhl, Germany (2017). https://doi.org/10.4230/LIPIcs.DISC.2017.1
Ciatto, G., Calegari, R., Mariani, S., Denti, E., Omicini, A.: From the blockchain to logic programming and back: research perspectives. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) WOA 2018 – 19th Workshop From Objects to Agents, CEUR Workshop Proceedings, vol. 2215, pp. 69–74 (2018). http://ceur-ws.org/Vol-2215/paper_12.pdfs
Ciatto, G., Mariani, S., Omicini, A.: Blockchain for trustworthy coordination: a first study with Linda and Ethereum. In: 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), pp. 696–703 (2018). https://doi.org/10.1109/WI.2018.000-9
Denti, E., Omicini, A., Ricci, A.: tuProlog: a light-weight prolog for internet applications and infrastructures. In: practical aspects of declarative languages. LNCS, vol. 1990, pp. 184–198. Springer (2001). https://doi.org/10.1007/3-540-45241-9_13
Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377–409 (2018). https://doi.org/10.1007/s10506-018-9223-3
Kwon, J.: Tendermint: Consensus without mining (2014). https://tendermint.com/static/docs/tendermint.pdf
Maffi, A.: Tenderfone GitLab Repository. https://gitlab.com/pika-lab/blockchain/tenderfone/tenderfone-sc
Szabo, N.: Smart contracts (1994). http://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart.contracts.html
Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). http://ethereum.github.io/yellowpaper/paper.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Ciatto, G., Maffi, A., Mariani, S., Omicini, A. (2020). Smart Contracts are More than Objects: Pro-activeness on the Blockchain. In: Prieto, J., Das, A., Ferretti, S., Pinto, A., Corchado, J. (eds) Blockchain and Applications. BLOCKCHAIN 2019. Advances in Intelligent Systems and Computing, vol 1010 . Springer, Cham. https://doi.org/10.1007/978-3-030-23813-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-23813-1_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-23812-4
Online ISBN: 978-3-030-23813-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)