{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:10:17Z","timestamp":1736082617008,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287407"},{"type":"electronic","value":"9783540287414"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550648_20","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T04:54:39Z","timestamp":1131857679000},"page":"216-221","source":"Crossref","is-referenced-by-count":6,"title":["Multi-agent System Specification Using TCOZ"],"prefix":"10.1007","author":[{"given":"Tim","family":"Miller","sequence":"first","affiliation":[]},{"given":"Peter","family":"McBurney","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Brandao, A.A.F., Alencar, P., de Lucena, C.J.P.: Extending (Object-)Z for multi-agent systems specification. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS (LNAI), vol.\u00a03508. Springer, Heidelberg (2005)","DOI":"10.1007\/11426714_9"},{"key":"20_CR3","first-page":"16","volume-title":"Proc. of the 1998 IEEE International Conference on Formal Engineering Methods","author":"J.S. Dong","year":"1998","unstructured":"Dong, J.S., Mahony, B.: Active objects in TCOZ. In: Proc. of the 1998 IEEE International Conference on Formal Engineering Methods, pp. 16\u201325. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"20_CR4","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent MetateM \u2014 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-30578-1_10","volume-title":"Agent-Oriented Software Engineering V","author":"V. Hilaire","year":"2005","unstructured":"Hilaire, V., Simonin, O., Koukam, A., Ferber, J.: A formal approach to design and reuse agent and multiagent models. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 142\u2013157. Springer, Heidelberg (2005)"},{"key":"20_CR6","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"issue":"2","key":"20_CR7","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed Communicating Object-Z. IEEE Transactions on Software Engineering\u00a026(2), 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Miller, T., McBurney, P.: Multi-agent system specification using TCOZ. Technical Report UCLS-05-007, Department of Computer Science, University of Liverpool (2005)","DOI":"10.1007\/11550648_20"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"S. Schneider","year":"1995","unstructured":"Schneider, S., Davies, J.: A brief history of Timed CSP. Theoretical Computer Science\u00a0138, 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"key":"20_CR11","series-title":"Advances in Formal Methods","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"20_CR12","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science. Prentice-Hall International (UK) Ltd, Englewood Cliffs (1992)"},{"key":"20_CR13","series-title":"Intelligent Robotics and Autonomous Agents","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M.J. Wooldridge","year":"2000","unstructured":"Wooldridge, M.J.: Reasoning about Rational Agents. Intelligent Robotics and Autonomous Agents. MIT Press, Cambridge (2000)"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1142\/S0218194001000657","volume":"11","author":"H. Zhu","year":"2001","unstructured":"Zhu, H.: SLABS: a formal specification language for agent-based systems. International Journal of Software Engineering and Knowledge Engineering\u00a011, 529\u2013558 (2001)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550648_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:55:34Z","timestamp":1736081734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550648_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287407","9783540287414"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11550648_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}