{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:13:47Z","timestamp":1725822827573},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194875"},{"type":"electronic","value":"9783319194882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19488-2_8","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T01:13:45Z","timestamp":1433380425000},"page":"157-178","source":"Crossref","is-referenced-by-count":1,"title":["Negotiation Programs"],"prefix":"10.1007","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-40184-8_31","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"J Esparza","year":"2013","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 440\u2013454. Springer, Heidelberg (2013)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-54830-7_17","volume-title":"Foundations of Software Science and Computation Structures","author":"J Esparza","year":"2014","unstructured":"Esparza, J., Desel, J.: On negotiation as concurrency primitive II: deterministic cyclic negotiations. In: Muscholl, A. (ed.) FOSSACS 2014. LNCS, vol. 8412, pp. 258\u2013273. Springer, Heidelberg (2014)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(83)90015-2","volume":"20","author":"R Davis","year":"1983","unstructured":"Davis, R., Smith, R.G.: Negotiation as a metaphor for distributed problem solving. Artificial Intelligence 20(1), 63\u2013109 (1983)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1008746126376","volume":"10","author":"NR Jennings","year":"2001","unstructured":"Jennings, N.R., Faratin, P., Lomuscio, A.R., Parsons, S., Wooldridge, M.J., Sierra, C.: Automated negotiation: prospects, methods and challenges. Group Decision and Negotiation 10(2), 199\u2013215 (2001)","journal-title":"Group Decision and Negotiation"},{"issue":"5","key":"8_CR5","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C B\u00f6hm","year":"1966","unstructured":"B\u00f6hm, C., Jacopini, G.: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5), 366\u2013371 (1966)","journal-title":"Commun. ACM"},{"issue":"7","key":"8_CR6","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/358886.358892","volume":"23","author":"D Harel","year":"1980","unstructured":"Harel, D.: On folk theorems. Commun. ACM 23(7), 379\u2013389 (1980)","journal-title":"Commun. ACM"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/978-3-540-70594-9_11","volume-title":"Mathematics of Program Construction","author":"D Kozen","year":"2008","unstructured":"Kozen, D., Tseng, W.-L.D.: The B\u00f6hm\u2013Jacopini theorem is false, propositionally. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol. 5133, pp. 177\u2013192. Springer, Heidelberg (2008)"},{"issue":"9","key":"8_CR8","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J Vanhatalo","year":"2009","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9), 793\u2013818 (2009)","journal-title":"Data Knowl. Eng."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Compositionality, Concurrency and Partial Correctness-Proof Theories for Networks of Processes, and Their Relationship","author":"J Zwiers","year":"1989","unstructured":"Zwiers, J.: Compositionality, Concurrency and Partial Correctness-Proof Theories for Networks of Processes, and Their Relationship. LNCS, vol. 321. Springer, Heidelberg (1989)"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuits, Syst. and Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits, Syst. and Comput."},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Formal Asp. Comput."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Diekert, V., Rozenberg, G., Rozenburg, G.: The book of traces, vol. 15. World Scientific (1995)","DOI":"10.1142\/9789814261456"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19488-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T23:46:38Z","timestamp":1559173598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19488-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194875","9783319194882"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19488-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}