{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:21:20Z","timestamp":1773760880185,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540711025","type":"print"},{"value":"9783540711032","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71103-2_10","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T12:53:16Z","timestamp":1179751996000},"page":"170-183","source":"Crossref","is-referenced-by-count":6,"title":["Establishing Global Properties of Multi-Agent Systems Via Local Laws"],"prefix":"10.1007","author":[{"given":"Wenxuan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantin","family":"Serban","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naftaly","family":"Minsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Minsky, N.H.: The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering (February 1991)","DOI":"10.1109\/32.67599"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N.H. Minsky","year":"2000","unstructured":"Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. TOSEM, ACM Transactions on Software Engineering and Methodology\u00a09(3), 273\u2013305 (2000), available from, http:\/\/www.cs.rutgers.edu\/~minsky\/pubs.html","journal-title":"TOSEM, ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/3-540-59450-7_8","volume-title":"Object-Based Models and Languages for Concurrent Systems","author":"N.H. Minsky","year":"1995","unstructured":"Minsky, N.H., Leichter, J.: Law-governed Linda as a coordination model. In: Ciancarini, P., Nierstrasz, O., Yonezawa, A. (eds.) Object-Based Models and Languages for Concurrent Systems. LNCS, vol.\u00a0924, pp. 125\u2013146. Springer, Heidelberg (1995)"},{"key":"10_CR4","unstructured":"Serban, C., Minsky, N.H.: The lgi web-site (includes the implementation of lgi, and its manual). Technical report, Rutgers University (June 2005), available at, http:\/\/www.moses.rutgers.edu"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. in Journal on Autonomous Agents and Multiagent Systems 14(1) (January 2007)","DOI":"10.1007\/s10458-006-0012-0"},{"key":"10_CR6","unstructured":"Minsky, N.H.: Law Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction, and a Reference Manual) (June 2005), available at, http:\/\/www.moses.rutgers.edu\/documentation\/manual.pdf"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Security \u2013 ESORICS 2003","author":"X. Ao","year":"2003","unstructured":"Ao, X., Minsky, N.H.: Flexible regulation of distributed coalitions. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, Springer, Heidelberg (2003), available from, http:\/\/www.cs.rutgers.edu\/~minsky\/pubs.html"},{"key":"10_CR8","unstructured":"Shoham, Y., Tennenholz, M.: On the synthesis of useful social laws for artificial agents societies. In: Proceedings of AAAI-92 (1992)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: the gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) (July 2003)","DOI":"10.1145\/958961.958963"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: AAMAS 2002 (2002)","DOI":"10.1145\/545056.545069"},{"key":"10_CR11","volume-title":"Proc. of ISE\u201905, 4th Int. Workshop on Soft. Eng. for Large-Scale Multi-Agent Systems","author":"A. Gatti","year":"2006","unstructured":"Gatti, A., Lucena, C., Brio, J.: On fault tolerance in law-governed multi-agent systems. In: Proc. of ISE\u201905, 4th Int. Workshop on Soft. Eng. for Large-Scale Multi-Agent Systems, July, ACM, New York (2006)"},{"key":"10_CR12","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. Technical report, Department of Computing, Imperial College of Science Technology and Medicine, London (2006)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Mockapetris, P.: Domain names - concepts and facilities (Nov. 1987), available at, ftp:\/\/ftp.is.co.za\/rfc\/rfc1034.txt","DOI":"10.17487\/rfc1034"}],"container-title":["Lecture Notes in Computer Science","Environments for Multi-Agent Systems III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71103-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:15:34Z","timestamp":1605762934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71103-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711025","9783540711032"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71103-2_10","relation":{},"subject":[]}}