{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:57:13Z","timestamp":1743019033551,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_3","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"29-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Behavioural Types Inspired by Cellular Thresholds"],"prefix":"10.1007","author":[{"given":"Bogdan","family":"Aman","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Ciobanu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"3_CR1","series-title":"LNCS","first-page":"169","volume-title":"WMC 2009","author":"B Aman","year":"2010","unstructured":"Aman, B., Ciobanu, G.: Typed membrane systems. In: P\u0103un, G., P\u00e9rez-Jim\u00e9nez, M.J., Riscos-N\u00fa\u00f1ez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 169\u2013181. Springer, Heidelberg (2010)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2008.12.106","volume":"227","author":"B Aman","year":"2009","unstructured":"Aman, B., Dezani-Ciancaglini, M., Troina, A.: Type disciplines for analysing biologically relevant properties. Electron. Notes Theor. Comput. Sci. 227, 97\u2013111 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR3","series-title":"LNCS","first-page":"210","volume-title":"WMC 2004","author":"D Besozzi","year":"2005","unstructured":"Besozzi, D., Ciobanu, G.: A P system description of the sodium-potassium pump. In: Mauri, G., P\u0103un, G., Jes\u00fas P\u00e9rez-J\u00edmenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 210\u2013223. Springer, Heidelberg (2005)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1051\/ita\/2011010","volume":"45","author":"L Bioglio","year":"2011","unstructured":"Bioglio, L.: Enumerated type semantics for the calculus of looping sequences. RAIRO - Theor. Inform. Appl. 45, 35\u201358 (2011)","journal-title":"RAIRO - Theor. Inform. Appl."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.tcs.2011.12.062","volume":"431","author":"L Bioglio","year":"2012","unstructured":"Bioglio, L., Dezani-Ciancaglini, M., Giannini, P., Troina, A.: Typed stochastic semantics for the calculus of looping sequences. Theoret. Comput. Sci. 431, 165\u2013180 (2012)","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Ciobanu, G.: Software verification of the biomolecular systems. In: Modelling in Molecular Biology, Natural Computing Series, pp. 40\u201359. Springer, Heidelberg (2004)","key":"3_CR6","DOI":"10.1007\/978-3-642-18734-6_3"},{"key":"3_CR7","first-page":"469","volume":"13","author":"G Ciobanu","year":"2002","unstructured":"Ciobanu, G., Ciubotariu, V., Tanas\u0103, B.: A Pi-Calculus model of the Na\/K pump. Genome Inf. 13, 469\u2013472 (2002). Universal Academy Press","journal-title":"Genome Inf."},{"unstructured":"Guyton, A., Hall, J.: Textbook of Medical Physiology, 12th edn. Elsevier (2010)","key":"3_CR8"},{"key":"3_CR9","series-title":"LNCS","first-page":"122","volume-title":"ESOP 1998","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types, In: Proceedings POPL, pp. 273\u2013284. ACM Press, New York (2008)","key":"3_CR10","DOI":"10.1145\/1328897.1328472"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1085\/jgp.87.1.47","volume":"87","author":"BG Kennedy","year":"1986","unstructured":"Kennedy, B.G., Lunn, G., Hoffman, J.F.: Effects of altering the ATP\/ADP ratio on pump-mediated Na\/K and Na\/Na exchanges in resealed human red blood cell ghosts. J. Gen. Physiol. 87, 47\u201372 (1986)","journal-title":"J. Gen. Physiol."},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"19659","DOI":"10.1016\/S0021-9258(17)32067-7","volume":"269","author":"JB Lingrel","year":"1994","unstructured":"Lingrel, J.B., Kuntzweiler, T.: Na$$^+$$, K$$^+$$-ATPase. J. Biol. Chem. 269, 19659\u201319662 (1994)","journal-title":"J. Biol. Chem."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1083\/jcb.90.3.769","volume":"90","author":"I Zs.-Nagy","year":"1981","unstructured":"Zs.-Nagy, I., Lustyik, G., Zs.-Nagy, V., Zarandi, B., Bertoni-Freddari, C.: Intracellular N+\/K+ ratios in human cancer cells as revealed by energy dispersive X-ray microanalysis. J. Cell Biol. 90, 769\u2013777 (1981)","journal-title":"J. Cell Biol."},{"volume-title":"Handbook of Membrane Computing","year":"2010","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, G. (eds.): Handbook of Membrane Computing. Oxford University Press, Oxford (2010)","key":"3_CR14"},{"key":"3_CR15","volume-title":"Formal Languages","author":"A Salomaa","year":"1973","unstructured":"Salomaa, A.: Formal Languages. Academic Press, Edinburgh (1973)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T18:55:34Z","timestamp":1676660134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}