{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:16Z","timestamp":1725560536973},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219897"},{"type":"electronic","value":"9783540259305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25930-5_2","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:16:23Z","timestamp":1280276183000},"page":"8-25","source":"Crossref","is-referenced-by-count":1,"title":["Coordinating Agents in OO"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cees","family":"Pierik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogier M.","family":"van Eijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.): FAABS 2000. LNCS (LNAI), vol.\u00a01871. Springer, Heidelberg (2001)"},{"key":"2_CR2","unstructured":"Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.): FAABS 2002. LNCS (LNAI), vol.\u00a02699. Springer, Heidelberg (2003)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-oriented software engineering: The state of the art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"},{"key":"2_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-45133-4_27","volume-title":"Formal Approaches to Agent-Based Systems","author":"J.J.C. Meyer","year":"2003","unstructured":"Meyer, J.J.C.: Tools and education towards formal methods practice. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 274\u2013279. Springer, Heidelberg (2003)"},{"key":"2_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-44631-1_18","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"R. Eijk van","year":"2001","unstructured":"van Eijk, R., de Boer, F., van der Hoek, W., Meyer, J.J.C.: Generalised objectoriented concepts for inter-agent communication. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 260\u2013274. Springer, Heidelberg (2001)"},{"key":"2_CR6","series-title":"NATO Science Series","first-page":"291","volume-title":"Models, Algebras and Logic of Engineering Software","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: Assertions. In: Broy, M., Pizka, M. (eds.) Models, Algebras and Logic of Engineering Software. NATO Science Series, vol.\u00a0191, pp. 291\u2013316. IOS Press, Amsterdam (2003)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Floyd, R.W.: Assigning meaning to programs. In: Proc. Symposium on Applied Mathematics. American Mathematical Society, vol.\u00a019, pp. 19\u201332 (1967)","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"2_CR8","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM\u00a012, 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"key":"2_CR10","first-page":"163","volume-title":"FMOODS V","author":"F. Boer de","year":"2002","unstructured":"de Boer, F., Pierik, C.: Computer-aided specification and verification of annotated object-oriented programs. In: Jacobs, B., Rensink, A. (eds.) FMOODS V, pp. 163\u2013177. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-39958-2_5","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C. Pierik","year":"2003","unstructured":"Pierik, C., de Boer, F.S.: A syntax-directed Hoare logic for object-oriented programming concepts. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 64\u201378. Springer, Heidelberg (2003)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs i. Acta Informatica\u00a06, 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. Apt","year":"1980","unstructured":"Apt, K., Francez, N., de Roever, W.: A proof system for communicating sequential processes. ACM Transactions of Programming Languages and Systems\u00a02, 359\u2013385 (1980)","journal-title":"ACM Transactions of Programming Languages and Systems"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic issues in the verification of agent communication. Autonomous Agents and Multi-Agent Systems\u00a03, 9\u201331 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-44972-0_4","volume-title":"Communication in Multiagent Systems","author":"F. Guerin","year":"2003","unstructured":"Guerin, F., Pitt, J.: Verification and compliance testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol.\u00a02650, pp. 98\u2013112. Springer, Heidelberg (2003)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1021836202093","volume":"6","author":"R.v. Eijk","year":"2003","unstructured":"Eijk, R.v., Boer, F.d., Hoek, W.v.d., Meyer, J.J.: A verification framework for agent communication. Journal of Autonomous Agents and Multi-Agent Systems\u00a06, 185\u2013219 (2003)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR17","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Concurrency Verification","author":"W.P. Roever de","year":"2001","unstructured":"de Roever, W.P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification. Cambridge Tracts in Theoretical Computer Science, vol.\u00a054. Cambridge University Press, Cambridge (2001)"},{"key":"2_CR18","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.J.C. Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a041. Cambridge University Press, Cambridge (1995)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K. Hindriks","year":"1999","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.J.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02, 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Objects, Agents, and Features"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25930-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T13:26:42Z","timestamp":1552829202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25930-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219897","9783540259305"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25930-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}