{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:46:28Z","timestamp":1725482788832},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659556"},{"type":"electronic","value":"9783540488354"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48835-9_10","type":"book-chapter","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T06:14:59Z","timestamp":1175753699000},"page":"166-188","source":"Crossref","is-referenced-by-count":15,"title":["A \u03c0-calculus Model of a Spanish Fish Market \u2014 Preliminary Report \u2014"],"prefix":"10.1007","author":[{"given":"Julian","family":"Padget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell","family":"Bradford","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,9]]},"reference":[{"key":"10_CR1","unstructured":"Luca Cardelli and Andrew Gordon. Mobile ambients. http:\/\/www.cl.cam.ac.uk\/users\/adg\/Research\/Ambit\/index.html ."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Jaron C. Collis and Lyndon C. Lee. Building electronic marketplaces with the zeus agent toolkit. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.","DOI":"10.1007\/3-540-48835-9_1"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Joakim Eriksson, Niclas Finne, and Sverker Janson. Sics marketspace-an agent-based market infrastructure. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.","DOI":"10.1007\/3-540-48835-9_3"},{"key":"10_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"7th International Conference on Concurrency Theory (CONCUR\u201996)","author":"C. Fournet","year":"1996","unstructured":"C\u00e9dric Fournet, Georges Gonthier, Jean-Jacques L\u00e9vy, Luc Maranget, and Didier R\u00e9my. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR\u201996), pages 406\u2013421, Pisa, Italy, August 26\u201329 1996. Springer-Verlag. LNCS 1119."},{"key":"10_CR5","unstructured":"Pere Garcia, Eduard Gimenez, Lluis Godo, and Juan A. Rodriguez-Aguilar. Possibilistic-based design of bidding strategies in electronic auctions. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Steven Y. Goldsmith, Laurence R. Phillips, and Shannon V. Spires. A multi-agent system for coordinating international shipping. In Carles Sierra and Pablo Noriega, editors, Agent Mediated Electronic Trading, volume 1571 of LNAI. Springer Verlag, 1999.","DOI":"10.1007\/3-540-48835-9_6"},{"key":"10_CR7","unstructured":"Peter Henderson. Executable pi calculus (epi). http:\/\/diana.ecs.soton.ac.uk\/ph\/e-pi.htm ."},{"key":"10_CR8","unstructured":"C.A.R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985."},{"key":"10_CR9","unstructured":"G. Kiczales, J. Lamping, A Mendhekar, C. Maeda, C Lopes, J-M. Longtier, and J. Irwin. Aspect-oriented programming. available via http:\/\/www.parc.xerox.com\/spl\/projects\/aop\/ ."},{"key":"10_CR10","unstructured":"Yannis Labrou and Tim Finin. A proposal for a new kqml specification. http:\/\/www.csee.umbc.edu\/~jklabrou\/publications\/tr9703.ps , 1997. Also available as a UMBC technical report."},{"key":"10_CR11","unstructured":"Robin Milner. The Polyadic \u03c0-Calculus: a Tutorial. Preprint of Proceedings International Summer School on Logic and Algebra of Specification, 1991."},{"key":"10_CR12","unstructured":"Uwe Nestmann. Calculi for mobile processes. available through http:\/\/www.cs.auc.dk\/mobility\/ ."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"P. Noriega and C. Sierra. Towards Layered Dialogical Agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.","DOI":"10.1007\/BFb0013585"},{"key":"10_CR14","unstructured":"FIPA ACL. Foundation of Intelligent Physical Agents. Agent communication language. http:\/\/drogo.cselt.stet.it\/_pa\/spec\/_pa97.htm , 1997."},{"key":"10_CR15","unstructured":"Benjamin C. Pierce. Foundational calculi for programming languages. In Allen B. Tucker, editor, Handbook of Computer Science and Engineering, chapter 139. CRC Press, 1996."},{"key":"10_CR16","unstructured":"Benjamin C. Pierce and David N Turner. Pict: A Programming Language Based on the Pi-Calculus. Technical Report 476, Indiana University, March 1997."},{"key":"10_CR17","unstructured":"J.A. Rodr\u00edguez, P. Noriega, C. Sierra, and J.A. Padget. FM96.5 A Java-based Electronic Auction House. In Second International Conference on The Practical Application of Intelligent Agents and Multi-Agent Technology: PAAM\u201997, 1997."},{"issue":"8","key":"10_CR18","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L. G. Valiant","year":"1990","unstructured":"L G Valiant. A Bridging Model for Parallel Computation. Communications of the ACM, 33(8):103\u2013111, August 1990.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Agent Mediated Electronic Commerce"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48835-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T23:32:38Z","timestamp":1556321558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48835-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659556","9783540488354"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48835-9_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}