{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:36:13Z","timestamp":1726032973953},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030238124"},{"type":"electronic","value":"9783030238131"}],"license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-23813-1_6","type":"book-chapter","created":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T22:03:58Z","timestamp":1561413838000},"page":"45-53","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Smart Contracts are More than Objects: Pro-activeness on the Blockchain"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"given":"Alfredo","family":"Maffi","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Androulaki, E., et al.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: 13th EuroSys Conference (EuroSys 2018). ACM, New York (2018). \n https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2658994","volume":"32","author":"PL Aublin","year":"2015","unstructured":"Aublin, P.L., Guerraoui, R., Kne\u017eevi\u0107, N., Qu\u00e9ma, V., Vukoli\u0107, M.: The next 700 BFT protocols. ACM Trans. Comput. Syst. 32(4), 1\u201345 (2015). \n https:\/\/doi.org\/10.1145\/2658994","journal-title":"ACM Trans. Comput. Syst."},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Cachin, C., Vukoli\u0107, M.: Blockchain consensus protocols in the wild (keynote talk). In: 31st International Symposium on Distributed Computing (DISC 2017). LIPIcs, vol.\u00a091, pp. 1:1\u20131:16. Dagstuhl, Germany (2017). \n https:\/\/doi.org\/10.4230\/LIPIcs.DISC.2017.1","DOI":"10.4230\/LIPIcs.DISC.2017.1"},{"key":"6_CR4","unstructured":"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 \u2013 19th Workshop From Objects to Agents, CEUR Workshop Proceedings, vol. 2215, pp. 69\u201374 (2018). \n http:\/\/ceur-ws.org\/Vol-2215\/paper_12.pdfs"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"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\u2013703 (2018). \n https:\/\/doi.org\/10.1109\/WI.2018.000-9","DOI":"10.1109\/WI.2018.000-9"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","volume-title":"Practical Aspects of Declarative Languages","author":"Enrico Denti","year":"2001","unstructured":"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\u2013198. Springer (2001). \n https:\/\/doi.org\/10.1007\/3-540-45241-9_13"},{"issue":"4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"G Governatori","year":"2018","unstructured":"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\u2013409 (2018). \n https:\/\/doi.org\/10.1007\/s10506-018-9223-3","journal-title":"Artif. Intell. Law"},{"key":"6_CR8","unstructured":"Kwon, J.: Tendermint: Consensus without mining (2014). \n https:\/\/tendermint.com\/static\/docs\/tendermint.pdf"},{"key":"6_CR9","unstructured":"Maffi, A.: Tenderfone GitLab Repository. \n https:\/\/gitlab.com\/pika-lab\/blockchain\/tenderfone\/tenderfone-sc"},{"key":"6_CR10","unstructured":"Szabo, N.: Smart contracts (1994). \n http:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart.contracts.html"},{"key":"6_CR11","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014). \n http:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"}],"container-title":["Advances in Intelligent Systems and Computing","Blockchain and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23813-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T22:39:01Z","timestamp":1561415941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-23813-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"ISBN":["9783030238124","9783030238131"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23813-1_6","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"25 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BLOCKCHAIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Congress on Blockchain and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"\u00c1vila","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"blockchain2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.blockchain-congress.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}