{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:57Z","timestamp":1747548357509},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679257"},{"type":"electronic","value":"9783540445333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44533-1_106","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T20:48:10Z","timestamp":1187210890000},"page":"817-817","source":"Crossref","is-referenced-by-count":1,"title":["Agent-Oriented Programming in Linear Logic: An Example"],"prefix":"10.1007","author":[{"given":"Abdullah-Al","family":"Amin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Harland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"106_CR1","volume-title":"JACK Intelligent Agents-Components for Intelligent Agents in Java","author":"P. Busetta","year":"1998","unstructured":"Paolo Busetta, Ralph Ronnquist, Andrew Hodgson, and Andrew Lucas. JACK Intelligent Agents-Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pry. Ltd, Melbourne, Australia, 1998."},{"key":"106_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"106_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BFb0014329","volume-title":"Algebraic Methodology and Software Technology","author":"J. Harland","year":"1996","unstructured":"James Harland, David Pym, and Michael Winikoff. Programming in Lygon: An overview. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 391\u201305. Springer, July 1996."},{"issue":"1","key":"106_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Yoav Shoham. Agent-oriented Programming. Artificial Intelligence 60, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence 60"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2000 Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44533-1_106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T22:35:37Z","timestamp":1550788537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44533-1_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679257","9783540445333"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-44533-1_106","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}