{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:34:04Z","timestamp":1725838444225},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662488980"},{"type":"electronic","value":"9783662488997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_11","type":"book-chapter","created":{"date-parts":[[2015,11,20]],"date-time":"2015-11-20T22:59:28Z","timestamp":1448060368000},"page":"146-161","source":"Crossref","is-referenced-by-count":3,"title":["An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials"],"prefix":"10.1007","author":[{"given":"Kaustuv","family":"Chaudhuri","sequence":"first","affiliation":[]},{"given":"Giselle","family":"Reis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Beauquier, M., Sch\u00fcrmann, C.: A bigraph relational model. In: LFMTP, vol. 71 of EPTCS, pp. 14\u201328 (2011)","DOI":"10.4204\/EPTCS.71.2"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","volume-title":"Computational Methods in Systems Biology","author":"L Cardelli","year":"2005","unstructured":"Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"key":"11_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.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, p. 140. Springer, Heidelberg (1998)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-15205-4_17","volume-title":"Computer Science Logic","author":"K Chaudhuri","year":"2010","unstructured":"Chaudhuri, K.: Classical and intuitionistic subexponential logics are equally expressive. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 185\u2013199. Springer, Heidelberg (2010)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Chaudhuri, K.: Undecidability of multiplicative subexponential logic. In: 3rd LINEARITY, vol. 176 of EPTCS, pp. 1\u20138, July 2014","DOI":"10.4204\/EPTCS.176.1"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V Danos","year":"1993","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: The structure of exponentials: Uncovering the dynamics of linear logic proofs. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) Computational Logic and Proof Theory. LNCS, vol. 713, pp. 159\u2013171. Springer, Heidelberg (1993)"},{"key":"11_CR7","first-page":"121","volume":"173","author":"D Grohmann","year":"2007","unstructured":"Grohmann, D., Miculan, M.: Directed bigraphs. ENTCS 173, 121\u2013137 (2007)","journal-title":"ENTCS"},{"key":"11_CR8","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge, February 2004"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.ic.2005.07.003","volume":"204","author":"R Milner","year":"2006","unstructured":"Milner, R.: Pure bigraphs: Structure and dynamics. Inf. Comput. 204(1), 60\u2013122 (2006)","journal-title":"Inf. Comput."},{"key":"11_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"key":"11_CR11","unstructured":"Nigam, V.: Exploiting non-canonicity in the sequent calculus. Ph.D. thesis, Ecole Polytechnique, September 2009"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Nigam, V., Miller, D.: Algorithmic specifications in linear logic with subexponentials. In: PPDP, pp. 129\u2013140 (2009)","DOI":"10.1145\/1599410.1599427"},{"key":"11_CR13","unstructured":"Nigam, V., Olarte, C., Pimentel, E.: On subexponentials, focusing and modalities in concurrent systems. Draft Manuscript submitted for publication (2015)"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Nigam, V., Pimentel, E., Reis, G.: An extended framework for specifying and reasoning about proof systems. J. of Logic Comput. (2014). doi:\n                    10.1093\/logcom\/exu029\n                    \n                  , \n                    http:\/\/logcom.oxfordjournals.org\/content\/early\/2014\/06\/06\/logcom.exu029","DOI":"10.1093\/logcom\/exu029"},{"key":"11_CR15","series-title":"Handbook of Natural Computing","first-page":"1355","volume-title":"Membrane computing","author":"G P\u0103un","year":"2012","unstructured":"P\u0103un, G.: Membrane computing. Handbook of Natural Computing, pp. 1355\u20131377. Springer, Heidelberg (2012)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.tcs.2015.02.011","volume":"577","author":"M Sevegnani","year":"2015","unstructured":"Sevegnani, M., Calder, M.: Bigraphs with sharing. Theor. Comput. Sci. 577, 43\u201373 (2015)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:37:48Z","timestamp":1559317068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}