{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:11:16Z","timestamp":1748751076422,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486498"},{"type":"electronic","value":"9783662486504"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-48650-4_8","type":"book-chapter","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T14:25:07Z","timestamp":1448288707000},"page":"153-175","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Analysis Mobile Systems Using $$\\pi $$ -calculus (EFCP)"],"prefix":"10.1007","author":[{"given":"Victor","family":"Khomenko","sequence":"first","affiliation":[]},{"given":"Vasileios","family":"Germanos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,24]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Rodden, T., Sassone, V. (eds.): From computers to ubiquitous computing by 2020. In: Proceedings of Philosophical Transactions of the Royal Society, vol. 366 (2008)","DOI":"10.1098\/rsta.2008.0134"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I. Inf. Comp. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comp."},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, vol. 1378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1996.0072","volume":"129","author":"M Dam","year":"1996","unstructured":"Dam, M.: Model checking mobile processes. Inf. Comp. 129(1), 35\u201351 (1996)","journal-title":"Inf. Comp."},{"issue":"3","key":"8_CR5","first-page":"1","volume":"9","author":"R Meyer","year":"2013","unstructured":"Meyer, R., Khomenko, V., H\u00fcchting, R.: A polynomial translation of $$\\pi $$ -calculus (FCP) to safe Petri nets. Logical Methods Comput. Sci. 9(3), 1\u201336 (2013)","journal-title":"Logical Methods Comput. Sci."},{"key":"8_CR6","volume-title":"Communicating and Mobile Systems: the $$\\pi $$ -Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the $$\\pi $$ -Calculus. CUP, New York (1999)"},{"key":"8_CR7","volume-title":"The $$\\pi $$ -calculus: A Theory of Mobile Processes","author":"D Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$ -calculus: A Theory of Mobile Processes. CUP, New York (2001)"},{"issue":"3\u20134","key":"8_CR8","doi-asserted-by":"crossref","first-page":"439","DOI":"10.3233\/FI-2009-138","volume":"94","author":"R Meyer","year":"2009","unstructured":"Meyer, R., Khomenko, V., Strazny, T.: A practical approach to verification of mobile systems using net unfoldings. Fundam. Inf. 94(3\u20134), 439\u2013471 (2009)","journal-title":"Fundam. Inf."},{"key":"8_CR9","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1007\/978-3-540-78293-3_18","volume-title":"Computational Intelligence: A Compendium","author":"S Furber","year":"2008","unstructured":"Furber, S., Temple, S.: Neural systems engineering. In: Fulcher, J., Jain, L. (eds.) Computational Intelligence: A Compendium. Studies in Computational Intelligence, vol. 115, pp. 763\u2013796. Springer, Heidelberg (2008)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Navaridas, J., Luj\u00e1n, M., Miguel-Alonso, J., Plana, L.A., Furber, S.: Understanding the interconnection network of SpiNNaker. In: Proceedings of the 23rd International Conference on Supercomputing, ICS 2009, pp. 286\u2013295. ACM (2009)","DOI":"10.1145\/1542275.1542317"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Camara, J., Moreto, M., Vallejo, E., Beivide, R., Miguel-Alonso, J., Martinez, C., Navaridas, J.: Mixed-radix twisted torus interconnection networks. In: Parallel and Distributed Processing Symposium IPDPS, pp. 1\u201310. IEEE (2007)","DOI":"10.1109\/IPDPS.2007.370270"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Plana, L., Bainbridge, J., Furber, S., Salisbury, S., Yebin, S., Jian, W.: An on-chip and inter-chip communications network for the SpiNNaker massively-parallel neural net simulator. In: Second ACM IEEE International Symposium on Networks-on-Chip, 2008, NoCS 2008, pp. 215\u2013216. IEEE Computer Society (2008)","DOI":"10.1109\/NOCS.2008.4492744"},{"key":"8_CR13","unstructured":"Furber, S., Temple, S., Brown, A.: On-chip and inter-chip networks for modeling large-scale neural systems. In: Circuits and Systems, ISCAS Proceedings, pp. 21\u201324. IEEE (2006)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Rast, A., Yang, S., Khan, M., Furber, S.: Virtual synaptic interconnect using an asynchronous network-on-chip. In: Proceedings of Intelligence Joint Conference on Neural Networks (IJCNN2008), pp. 2727\u20132734. IEEE (2008)","DOI":"10.1109\/IJCNN.2008.4634181"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Jin, X., Furber, S., Woods, J.: Efficient modelling of spiking neural networks on a scalable chip multiprocessor. In: Neural Networks, IJCNN World Congress on Computational Intelligence, pp. 2812\u20132819. IEEE (2008)","DOI":"10.1109\/IJCNN.2008.4634194"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Asanovic, K., Beck, J., Feldman, J., Morgan, N., Wawrzynek, J.: A supercomputer for neural computation. In: Neural Networks, World Congress on Computational Intelligence, vol. 1, pp. 5\u20139. IEEE (1994)","DOI":"10.1109\/ICNN.1994.374129"},{"key":"8_CR17","unstructured":"Furber, S., Brown, A.: Biologically inspired massively parallel architectures computing beyond a million processors. In: Application of Concurrency to System Design, 2009, ACSD 2009, pp. 3\u201312. IEEE (2009)"},{"issue":"5","key":"8_CR18","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1109\/MDT.2007.149","volume":"24","author":"L Plana","year":"2007","unstructured":"Plana, L., Furber, S., Temple, S., Khan, M., Shi, Y., Wu, J., Yang, S.: A GALS infrastructure for a massively parallel multiprocessor. Des. Test Comput. IEEE 24(5), 454\u2013463 (2007)","journal-title":"Des. Test Comput. IEEE"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Farber, P., Asanovic, K.: Parallel neural network training on multi-spert. In: 3rd International Conference on Algorithms and Architectures for Parallel Processing, ICAPP, pp. 659\u2013666. IEEE (1997)","DOI":"10.1109\/ICAPP.1997.651531"},{"issue":"3","key":"8_CR20","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1093\/comjnl\/bxp024","volume":"53","author":"J Wu","year":"2010","unstructured":"Wu, J., Furber, S.: A multicast routing scheme for a universal spiking neural network architecture. Comput. J. 53(3), 280\u2013288 (2010)","journal-title":"Comput. J."},{"issue":"6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1109\/TPDS.2007.1047","volume":"18","author":"V Puente","year":"2007","unstructured":"Puente, V., Gregorio, J.: Immucube: scalable fault-tolerant routing for $$k$$ -ary $$n$$ -cube networks. IEEE Trans. Parallel Distrib. Syst. 18(6), 776\u2013788 (2007)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"9","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1006\/jpdc.2001.1746","volume":"61","author":"V Puente","year":"2001","unstructured":"Puente, V., Izu, C., Beivide, R., Gregorio, J.A., Vallejo, F., Prellezo, J.M.: The adaptive bubble router. J. Parallel Distrib. Comput. 61(9), 1180\u20131208 (2001)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1109\/TC.2006.46","volume":"55","author":"M Gomez","year":"2006","unstructured":"Gomez, M., Nordbotten, N., Flich, J., Lopez, P., Robles, A., Duato, J., Skeie, T., Lysne, O.: A routing methodology for achieving fault tolerance in direct networks. IEEE Trans. Comput. 55(4), 400\u2013415 (2006)","journal-title":"IEEE Trans. Comput."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48650-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T13:44:16Z","timestamp":1748699056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48650-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486498","9783662486504"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48650-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}