{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:12:44Z","timestamp":1742980364111,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319946481"},{"type":"electronic","value":"9783319946498"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-94649-8_13","type":"book-chapter","created":{"date-parts":[[2018,7,4]],"date-time":"2018-07-04T03:42:33Z","timestamp":1530675753000},"page":"103-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems"],"prefix":"10.1007","author":[{"given":"Bo\u017cena","family":"Wo\u017ana-Szcze\u015bniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ireneusz","family":"Szcze\u015bniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"What is escrow? How does escrow work? https:\/\/www.escrow.com\/"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bentahar, J., Moulin, B., Meyer, J., Lesp\u00e9rance, Y.: A new logical semantics for agent communication. In: Proceedings of the CLIMA VII. LNAI, vol. 4371, pp. 151\u2013170. Springer-Verlag (2007)","DOI":"10.1007\/978-3-540-69619-3_9"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10458-012-9208-7","volume":"27","author":"M El-Menshawy","year":"2013","unstructured":"El-Menshawy, M., Bentahar, J., Kholy, W.E., Dssouli, R.: Reducing model checking commitments for agent communication to model checking ARCTL and GCTL$$^*$$. Auton. Agent. Multi-agent Syst. 27(3), 375\u2013418 (2013)","journal-title":"Auton. Agent. Multi-agent Syst."},{"issue":"4","key":"13_CR4","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"EA Emerson","year":"1992","unstructured":"Emerson, E.A., Mok, A., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. Real-Time Syst. 4(4), 331\u2013352 (1992)","journal-title":"Real-Time Syst."},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Kholy, W.E., Menshawy, M.E., Laarej, A., Bentahar, J., Al-Saqqar, F., Dssouli, R.: Real-time conditional commitment logic. In: Proceedings of the PRIMA 2015. LNCS, vol. 9387, pp. 547\u2013556. Springer (2015)","DOI":"10.1007\/978-3-319-25524-8_37"},{"key":"13_CR7","volume-title":"Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"G Weiss","year":"1999","unstructured":"Weiss, G.: Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)"},{"key":"13_CR8","unstructured":"Wo\u017ana-Szcze\u015bniak, B.: Trends in contemporary computer science. In: Formal Methods and Data Mining. On the SAT-based Verification of Communicative Commitments, pp. 175\u2013186. Bia\u0142ystok University of Technology Publishing Office (2014)"}],"container-title":["Advances in Intelligent Systems and Computing","Distributed Computing and Artificial Intelligence, 15th International Conference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94649-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T16:04:19Z","timestamp":1729008259000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-94649-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319946481","9783319946498"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94649-8_13","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019]]}}}