{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:24:12Z","timestamp":1743031452925,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253754"},{"type":"electronic","value":"9783540259749"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/978-3-540-25974-9_8","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:23:04Z","timestamp":1267107784000},"page":"85-103","source":"Crossref","is-referenced-by-count":7,"title":["Model Checking Biological Systems Described Using Ambient Calculus"],"prefix":"10.1007","author":[{"given":"Radu","family":"Mardare","sequence":"first","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Quaglia","sequence":"additional","affiliation":[]},{"given":"Oleksandr","family":"Vagin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"HyTech: The HYbrid TECHnology Tool, \n                    \n                      http:\/\/www-cad.eecs.berkeley.edu\/~tah\/HyTech\/"},{"key":"8_CR2","unstructured":"NuSMV: A new symbolic model checker, \n                    \n                      http:\/\/nusmv.irst.itc.it\/"},{"key":"8_CR3","unstructured":"Receptors directly activating trimetric g proteins, \n                    \n                      http:\/\/courses.washington.edu\/conj\/gprotein\/trimericgp.htm"},{"key":"8_CR4","unstructured":"The SMV system, \n                    \n                      http:\/\/www-2.cs.cmu.edu\/~modelcheck\/smv.html"},{"key":"8_CR5","unstructured":"VIS homepage, \n                    \n                      http:\/\/www-cad.eecs.berkeley.edu\/~vis\/"},{"key":"8_CR6","unstructured":"Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn., Garland Publishing, Inc. (2002)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science (to appear, 2003), \n                    \n                      http:\/\/www.luca.demon.co.uk\/","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"8_CR8","volume-title":"CLSI Lecture Notes","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena. In: CLSI Lecture Notes, vol.\u00a060, CSLI Publication, Stanford (1996)"},{"key":"8_CR9","unstructured":"Cardelli, L.: Brane calculi, \n                    \n                      http:\/\/www.luca.demon.co.uk\/"},{"key":"8_CR10","first-page":"194","volume":"186\/2","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L., Caires, L.: A spatial logic for concurrency (part i). Information and Computation\u00a0186\/2, 194\u2013235 (2003)","journal-title":"Information and Computation"},{"key":"8_CR11","unstructured":"Cardelli, L., Gordon, A.D.: Ambient logic. Mathematical Structures in Computer Science (to appear), \n                    \n                      http:\/\/www.luca.demon.co.uk\/"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere. modal logics for mobile ambients. In: Proceedings of the 27th ACM Symposium on Principles of Programming Languages, pp. 365\u2013377 (2000)","DOI":"10.1145\/325694.325742"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Le Metayer, D. (ed.) Theoretical Computer Science, pp. 177\u2013213 (June 2000) (Special Issue on Coordination)","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, B: Formal Models and Sematics, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"8_CR15","unstructured":"Mardare, R., Priami, C.: Computing the accessibility relation for ambient calculus. Technical report, Dipartimento di Informatica e Tlc, University of Trento (2003) (following the link Publications), Available at: \n                    \n                      http:\/\/www.dit.unitn.it"},{"key":"8_CR16","unstructured":"Mardare, R., Priami, C.: A propositional branching temporal logic for the ambient calculus. Technical report, Dipartimento di Informatica e Tlc, University of Trento (2003) (following the link Publications), Available at: \n                    \n                      http:\/\/www.dit.unitn.it"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25974-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:44:45Z","timestamp":1558273485000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25974-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253754","9783540259749"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25974-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}