{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:12:50Z","timestamp":1748664770267,"version":"3.41.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319250151"},{"type":"electronic","value":"9783319250175"}],"license":[{"start":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T00:00:00Z","timestamp":1445126400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-25017-5_17","type":"book-chapter","created":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T23:39:25Z","timestamp":1445211565000},"page":"177-186","source":"Crossref","is-referenced-by-count":0,"title":["FSP Modeling of a Generic Distributed Swarm Computing Framework"],"prefix":"10.1007","author":[{"given":"Amelia","family":"B\u0103dic\u0103","sequence":"first","affiliation":[]},{"given":"Costin","family":"B\u0103dic\u0103","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Brezovan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,18]]},"reference":[{"key":"17_CR1","volume-title":"Principles of the Spin Model Checker","author":"M Ben-Ari","year":"2008","unstructured":"Ben-Ari, M.: Principles of the Spin Model Checker. Springer, Berlin (2008)"},{"key":"17_CR2","first-page":"239","volume-title":"Information Systems Development","author":"A B\u0103dic\u0103","year":"2010","unstructured":"B\u0103dic\u0103, A., B\u0103dic\u0103, C.: Specification and verification of an agent-based auction service. In: Papadopoulos, G.A., Wojtkowski, W., Wojtkowski, G., Wrycza, S., Zupancic, J. (eds.) Information Systems Development, pp. 239\u2013248. Springer, New York (2010)"},{"issue":"1","key":"17_CR3","first-page":"9","volume":"21","author":"A B\u0103dic\u0103","year":"2011","unstructured":"B\u0103dic\u0103, A., B\u0103dic\u0103, C.: FSP and FLTL framework for specification and verification of middle-agents. Appl. Math. Comput. Sci. 21(1), 9\u201325 (2011)","journal-title":"Appl. Math. Comput. Sci."},{"key":"17_CR4","volume-title":"Distributed Systems. Concepts and Design","author":"G Coulouris","year":"2011","unstructured":"Coulouris, G., Dollimore, J., Kindberg, T., Blair, G.: Distributed Systems. Concepts and Design, 5th edn. Addison Wesley, London (2011)","edition":"5"},{"key":"17_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M Dorigo","year":"2004","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)"},{"issue":"6","key":"17_CR6","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1016\/j.scico.2011.09.001","volume":"78","author":"S Ilie","year":"2013","unstructured":"Ilie, S., B\u0103dic\u0103, C.: Multi-agent approach to distributed ant colony optimization. Sci. Comput. Program. 78(6), 762\u2013774 (2013)","journal-title":"Sci. Comput. Program."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of the IEEE International Conference on Neural Networks, ICNN\u20191995, vol.\u00a04, pp. 1942\u20131948. IEEE (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"key":"17_CR8","series-title":"World Wide Series in Computer Science","volume-title":"Concurrency. State Models and Java Programs","author":"J Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency. State Models and Java Programs. World Wide Series in Computer Science, 2nd edn. Wiley, New York (2006)","edition":"2"},{"issue":"8","key":"17_CR9","doi-asserted-by":"publisher","first-page":"5181","DOI":"10.1016\/j.asoc.2011.05.042","volume":"11","author":"M Pedemonte","year":"2011","unstructured":"Pedemonte, M., Nesmachnow, S., Cancela, H.: A survey on parallel ant colony optimization. Appl. Soft. Comput. 11(8), 5181\u20135197 (2011)","journal-title":"Appl. Soft. Comput."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Petcu, D.: Parallel explicit state reachability analysis and state space construction. In: Proceedings of the Second International Symposium on Parallel and Distributed Computing, ISPDC\u20192003, Ljubljana, Slovenia, pp. 207\u2013214. IEEE (2002)","DOI":"10.1109\/ISPDC.2003.1267665"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25017-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T02:10:39Z","timestamp":1748657439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25017-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,18]]},"ISBN":["9783319250151","9783319250175"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25017-5_17","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015,10,18]]}}}