{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T19:18:56Z","timestamp":1676661536946},"reference-count":17,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1051\/ita\/2011010","type":"journal-article","created":{"date-parts":[[2011,3,15]],"date-time":"2011-03-15T09:59:59Z","timestamp":1300183199000},"page":"35-58","source":"Crossref","is-referenced-by-count":3,"title":["Enumerated type semantics for the calculus of looping sequences"],"prefix":"10.1051","volume":"45","author":[{"given":"Livio","family":"Bioglio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,3,15]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume":"2034","author":"Alur","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"R2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.entcs.2008.12.106","volume":"227","author":"Aman","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"R3","first-page":"638","volume":"4463","author":"Barbuti","year":"2006","journal-title":"Lecture Notes in Bioinformatics"},{"key":"R4","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/11921240_7","volume":"4281","author":"Barbuti","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"R5","first-page":"21","volume":"72","author":"Barbuti","year":"2006","journal-title":"Fund. Inform."},{"key":"R6","unstructured":"L. Bioglio, M. Dezani-Ciancaglini, P. Giannini and A. Troina, Type directed semantics for the calculus of looping sequences.International Journal of Software and Informatics(2010), to appear."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"L. Cardelli, Brane calculi \u2013 interactions of biological membranes, inComputational Methods in Systems Biology(2004) 257\u2013278.","DOI":"10.1007\/978-3-540-25974-9_24"},{"key":"R8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"Danos","year":"2004","journal-title":"Theoret. Comput. Sci."},{"key":"R9","doi-asserted-by":"crossref","first-page":"38","DOI":"10.4204\/EPTCS.9.5","volume":"9","author":"Dezani-Ciancaglini","year":"2009","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"R10","unstructured":"H. Matsuno, A. Doi, M. Nagasaki and S. Miyano, Hybrid Petri Net representation of gene regulatory networks, inProceedings of the Pacific Symposium on Biocomputing (PSB '00)(2000), 338\u2013349. http:\/\/www.marmisicc.com\/index.aspx?IDMenu=76&idMenuAPP=11."},{"key":"R11","unstructured":"P. Milazzo,Qualitative and Quantitative Formal Modeling of Biological Systems. Ph.D. thesis, University of Pisa (2007)."},{"key":"R12","doi-asserted-by":"crossref","unstructured":"G. P\u0103un,Membrane Computing. An Introduction. Springer-Verlag (2002).","DOI":"10.1007\/978-3-642-56196-2"},{"key":"R13","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"Regev","year":"2002","journal-title":"Nature"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"A. Regev and E. Shapiro, The $\\pi$-calculus as an abstraction for biomolecular systems.Modelling in Molecular Biology(2004) 219\u2013266.","DOI":"10.1007\/978-3-642-18734-6_11"},{"key":"R15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"Regev","year":"2004","journal-title":"Theoret. Comput. Sci."},{"key":"R16","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-45523-X_17","volume":"2235","author":"Syropoulos","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"R17","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume":"2380","author":"Wells","year":"2002","journal-title":"Lecture Notes in Computer Science"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2011010\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T03:37:25Z","timestamp":1560051445000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/2011010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":17,"journal-issue":{"issue":"1"},"alternative-id":["ita100052"],"URL":"https:\/\/doi.org\/10.1051\/ita\/2011010","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}