{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:51:54Z","timestamp":1761706314741},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662433515"},{"type":"electronic","value":"9783662433522"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-43352-2_16","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:26:03Z","timestamp":1400729163000},"page":"201-208","source":"Crossref","is-referenced-by-count":10,"title":["Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Mansutti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marino","family":"Miculan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Peressotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bacci, G., Grohmann, D.: On the decidability of bigraphical sorting. In: Haveraaen, M., Lenisa, M., Power, J., Seisenberger, M. (eds.) Proc.\u00a0CALCO Young Researchers Workshop, number 05\/2010 in Technical Report, pp. 1\u201314 (2009)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bacci, G., Grohmann, D., Miculan, M.: Bigraphical models for protein and membrane interactions. In: Ciobanu, G. (ed.) Proc.\u00a0MeCBIC. Electronic Proceedings in Theoretical Computer Science, vol.\u00a011, pp. 3\u201318 (2009)","DOI":"10.4204\/EPTCS.11.1"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-540-30578-1_5","volume-title":"Agent-Oriented Software Engineering V","author":"C. Bernon","year":"2005","unstructured":"Bernon, C., Cossentino, M., Gleizes, M.P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 62\u201377. Springer, Heidelberg (2005)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11690634_13","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Birkedal","year":"2006","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 187\u2013201. Springer, Heidelberg (2006)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1007\/11523468_62","volume-title":"Automata, Languages and Programming","author":"G. Conforti","year":"2005","unstructured":"Conforti, G., Macedonio, D., Sassone, V.: Spatial logics for bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 766\u2013778. Springer, Heidelberg (2005)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Transactions on Autonomous and Adaptive Systems, 1\u201329 (2014)","DOI":"10.1145\/2619998"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-00945-7_8","volume-title":"Trustworthy Global Computing","author":"E. Elsborg","year":"2009","unstructured":"Elsborg, E., Hildebrandt, T.T., Sangiorgi, D.: Type systems for bigraphs. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 126\u2013140. Springer, Heidelberg (2009)"},{"key":"16_CR8","unstructured":"Faithfull, A.J., Perrone, G., Hildebrandt, T.T.: BigRed: A development environment for bigraphs. In: ECEASST, vol.\u00a061 (2013)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11767954_8","volume-title":"Coordination Models and Languages","author":"T. Hildebrandt","year":"2006","unstructured":"Hildebrandt, T., Niss, H., Olsen, M.: Formalising business process execution with bigraphs and reactive XML. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 113\u2013129. Springer, Heidelberg (2006)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. In: Proc.\u00a024th MFPS. Electronic Notes in Theoretical Computer Science, vol.\u00a0218, pp. 73\u201396 (2008)","DOI":"10.1016\/j.entcs.2008.10.006"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-14977-1_7","volume-title":"Computational Logic in Multi-Agent Systems","author":"J. Ma","year":"2010","unstructured":"Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., Satoh, K.: Speculative abductive reasoning for hierarchical agent systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 49\u201364. Springer, Heidelberg (2010)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Pereira, E., Kirsch, C.M., de Sousa, J.B., Sengupta, R.: BigActors: a model for structure-aware computation. In: Lu, C., Kumar, P.R., Stoleru, R. (eds.) ICCPS, pp. 199\u2013208. ACM (2013)","DOI":"10.1145\/2502524.2502551"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: Bigraphical refinement. In: Derrick, J., Boiten, E.A., Reeves, S. (eds.) Proc. REFINE. Electronic Proceedings in Theoretical Computer Science, vol.\u00a055, pp. 20\u201336 (2011)","DOI":"10.4204\/EPTCS.55.2"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: Ossowski, S., Lecca, P. (eds.) Proc. SAC, pp. 1320\u20131325. ACM (2012)","DOI":"10.1145\/2245276.2231985"},{"key":"16_CR16","unstructured":"Ribino, P., Cossentino, M., Lodato, C., Lopes, S., Sabatucci, L., Seidita, V.: Ontology and goal model in designing BDI multi-agent systems. In: WOA@AI*IA. CEUR Workshop Proceedings, vol.\u00a01099, pp. 66\u201372. CEUR-WS.org (2013)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, M., Shi, L., Zhu, L., Wang, Y., Feng, L., Pu, G.: A bigraphical model of WSBPEL. In: Proc.\u00a0TASE, pp. 117\u2013120. IEEE Computer Society (2008)","DOI":"10.1109\/TASE.2008.47"}],"container-title":["Lecture Notes in Computer Science","Distributed Applications and Interoperable Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43352-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T11:30:15Z","timestamp":1506425415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43352-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662433515","9783662433522"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43352-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}