{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:57:41Z","timestamp":1743011861462,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851936"},{"type":"electronic","value":"9783540851943"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85194-3_20","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T06:21:05Z","timestamp":1219126865000},"page":"242-257","source":"Crossref","is-referenced-by-count":0,"title":["Automata on Multisets of Communicating Objects"],"prefix":"10.1007","author":[{"given":"Linmin","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.: Types for the ambient calculus (2002)","DOI":"10.1006\/inco.2001.3121"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Ambient groups and mobility types. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 333\u2013347. Springer, Heidelberg (2000)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378. Springer, Heidelberg (1998)"},{"key":"20_CR4","unstructured":"Caro, G.D., Dorigo, M.: Two ant colony algorithms for best-effort routing in datagram networks. In: Proceedings of the Tenth IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 1998), pp. 541\u2013546 (1998)"},{"issue":"4","key":"20_CR5","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Commun. ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Commun. ACM"},{"issue":"5","key":"20_CR6","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1142\/S0129054105003340","volume":"16","author":"Z. Dang","year":"2005","unstructured":"Dang, Z., Ibarra, O.H.: On one-membrane P systems operating in sequential mode. Int. J. Found. Comput. Sci.\u00a016(5), 867\u2013881 (2005)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"20_CR7","first-page":"11","volume-title":"New Ideas in Optimization","author":"M. Dorigo","year":"1999","unstructured":"Dorigo, M., Caro, G.D.: The ant colony optimization meta-heuristic. In: New Ideas in Optimization, pp. 11\u201332. McGraw-Hill, London (1999)"},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/4235.585892","volume":"1","author":"M. Dorigo","year":"1997","unstructured":"Dorigo, M., Gambardella, L.M.: Ant colony system: A cooperative learning approach to the traveling salesman problem. IEEE Transactions on Evolutionary Computation\u00a01(1), 53\u201366 (1997)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S., Spanier, E.: Semigroups, presburger formulas, and languages. Pacific J. of Mathematics.\u00a016, 285\u2013296 (1966)","journal-title":"Pacific J. of Mathematics."},{"issue":"4","key":"20_CR10","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1142\/S0129054105003236","volume":"16","author":"O.H. Ibarra","year":"2005","unstructured":"Ibarra, O.H., Yen, H., Dang, Z.: On various notions of parallelism in P Systems. Int. J. Found. Comput. Sci.\u00a016(4), 683\u2013705 (2005)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"issue":"3","key":"20_CR12","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI-Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI-Quarterly"},{"key":"20_CR13","unstructured":"P\u00e3un, Gh.: Introduction to membrane computing. See P Systems Web Page, \n                      http:\/\/psystems.disco.unimib.it"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G.. P\u00e3un","year":"2000","unstructured":"P\u00e3un, Gh.: Computing with membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"issue":"4","key":"20_CR15","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/98.943998","volume":"8","author":"M. Satyanarayanan","year":"2001","unstructured":"Satyanarayanan, M.: Pervasive computing: vision and challenges. IEEE Personal Communications\u00a08(4), 10\u201317 (2001)","journal-title":"IEEE Personal Communications"},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1019219916118","volume":"1","author":"G. Di Marzo Serugendo","year":"1998","unstructured":"Di Marzo Serugendo, G., Muhugusa, M., Tschudin, C.F.: A survey of theories for mobile agents. World Wide Web\u00a01(3), 139\u2013153 (1998)","journal-title":"World Wide Web"},{"key":"20_CR17","unstructured":"Sun. Java remote method invocation (2007), \n                      http:\/\/java.sun.com\/j2se\/1.4.2\/docs\/guide\/rmi\/"},{"key":"20_CR18","unstructured":"Wang, Y.: Clustering, grouping, and process over networks. PhD thesis, Washington State University (2007)"},{"issue":"3","key":"20_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1038\/scientificamerican0991-94","volume":"265","author":"M. Weiser","year":"1991","unstructured":"Weiser, M.: The computer for the 21st century. Scientific American\u00a0265(3), 66\u201375 (1991)","journal-title":"Scientific American"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/3-540-45061-0_53","volume-title":"Automata, Languages and Programming","author":"G. Xie","year":"2003","unstructured":"Xie, G., Dang, Z., Ibarra, O.H.: A solvable class of quadratic Diophantine equations with applications to verification of infinite state systems. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 668\u2013680. Springer, Heidelberg (2003)"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-73554-0_21","volume-title":"Unconventional Computation","author":"L. Yang","year":"2007","unstructured":"Yang, L., Dang, Z., Ibarra, O.H.: Bond computing systems: a biologically inspired and high-level dynamics model for pervasive computing. In: Akl, S.G., Calude, C.S., Dinneen, M.J., Rozenberg, G., Wareham, H.T. (eds.) UC 2007. LNCS, vol.\u00a04618, pp. 226\u2013241. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85194-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T04:05:45Z","timestamp":1715400345000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85194-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540851936","9783540851943"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85194-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}