{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:33Z","timestamp":1725488853471},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T02:45:25Z","timestamp":1186886725000},"page":"180-193","source":"Crossref","is-referenced-by-count":4,"title":["Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude"],"prefix":"10.1007","author":[{"given":"Jeffrey","family":"Van Baalen","sequence":"first","affiliation":[]},{"given":"James L.","family":"Caldwell","sequence":"additional","affiliation":[]},{"given":"Shivakant","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, and J. Meseguer. Metalevel computation in Maude. In C. Kirchner, and H. Kirchner, editors, 2nd Intl. Workshop on Rewriting logic and its Applications, volume 15. Elsevier, 1998.","key":"15_CR1","DOI":"10.1016\/S1571-0661(05)80020-9"},{"key":"15_CR2","series-title":"Technical report","volume-title":"Maude: Specification and Programming in Rewriting Logic","author":"M. Clavel","year":"1999","unstructured":"M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Technical report, SRI International, Menlo Park, CA, Jan 1999."},{"unstructured":"M. Clavel and J. Meseguer. Reflection in rewriting logic and its applications in the Maude language. In Proceedings of IMSA-97, pages 128\u2013139, Japan, 1997. Information-Technology Promotion Agency.","key":"15_CR3"},{"key":"15_CR4","first-page":"251","volume-title":"DARPA Information and Survivability Conference and Exposition (DISCEX\u201900)","author":"G. Denker","year":"2000","unstructured":"G. Denker, J. Meseguer, and C. Talcott. Formal specification and analysis of active networks and communication protocols: The Maude experience. In DARPA Information and Survivability Conference and Exposition (DISCEX\u201900), pages 251\u2013265, Hilton Head, South Carolina, Jan 2000. IEEE Computer Society Press."},{"unstructured":"M. Dillencourt, L. F. Bic, and M. Fukuda. Distributed computing using autonomous agents. IEEE Computer, 28(8), Aug 1996.","key":"15_CR5"},{"unstructured":"R. S. Gray. Agent tcl: A transportable agent system. Technical report, Dartmouth College, November 1995.","key":"15_CR6"},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Proceedings WADT\u201997","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer. Membership algebra as a semantic framework for equational specification. In F. Parisi-Presicce, editor, Proceedings WADT\u201997, volume 1376 of LNCS, pages 18\u201361. Springer Verlag, 1998."},{"unstructured":"S. Mishra, Y. Huang, and H. Kuntur. Daagent: A dependable mobile agent system (fastabstract). In Proceedings of the 29th International Symposium on Fault-tolerant Computing, Madison, WI, June 1999. IEEE.","key":"15_CR8"},{"doi-asserted-by":"crossref","unstructured":"A. Tripathi, N. Karnik, M. Vora, T. Ahmed, and R Singh. Mobile agent programming in Ajanta. In Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, 1999.","key":"15_CR9","DOI":"10.1109\/ICDCS.1999.776520"}],"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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:54:07Z","timestamp":1556740447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}