{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:46Z","timestamp":1775053186196,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540427162","type":"print"},{"value":"9783540454847","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_4","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:45:25Z","timestamp":1186901125000},"page":"48-62","source":"Crossref","is-referenced-by-count":8,"title":["On Formal Modeling of Agent Computations"],"prefix":"10.1007","author":[{"given":"Tadashi","family":"Araragi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Attie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Idit","family":"Keidar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyoshi","family":"Kogure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Luchangco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Mano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"4_CR1","unstructured":"T. Araragi. Agent programming and its formal verification (in Japanese), technical report ai99-47, pp. 47\u201354. Technical report, The Institute of Electronics, Information and Communication Engineers, 1999."},{"key":"4_CR2","unstructured":"T. Araragi, P. Attie, I. Keidar, K. Kogure, V. Luchangco, N. Lynch, and K. Mano. On Formal Modeling of Agent Computations. Tech. Report, MIT Lab. for Comp. Sci. Url: http:\/\/theory.lcs.mit.edu\/.idish\/Abstracts\/agents-compare.html"},{"key":"4_CR3","unstructured":"P.C. Attie and N.A. Lynch. A formal model for dynamic computation. Tech. report, MIT Lab. for Computer Science. To appear."},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244\u2013263, Apr. 1986.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Mass., 1995."},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 3rd Asian Computing Science Conference (ASIAN\u201997)","author":"E. Horita","year":"1997","unstructured":"E. Horita and K. Mano. Nepi2: a two-level calculus for network programming based on the \u03c0-calculus. In Proc. 3rd Asian Computing Science Conference (ASIAN\u201997). Springer LNCS 1345, 1997."},{"key":"4_CR7","unstructured":"N. A. Lynch and M. R. Tuttle. An introduction to input\/output automata. CWI-Quarterly, 2(3):219\u2013246, Sep. 1989. Also MIT\/LCS\/TM-373, Nov. 1988."},{"key":"4_CR8","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"R. Milner. Communicating and mobile systems: the \u03c0-calculus. Addison-Wesley, Reading, Mass., 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:49:51Z","timestamp":1737362991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}