{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:02Z","timestamp":1725515342887},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_28","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"457-472","source":"Crossref","is-referenced-by-count":0,"title":["On Beta-Binders Communications"],"prefix":"10.1007","author":[{"given":"Paola","family":"Quaglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Bioinformatics","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.\u00a03082. Springer, Heidelberg (2005)"},{"issue":"1","key":"28_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science\u00a0240(1), 177\u2013213 (2000)","journal-title":"Theoretical Computer Science"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for Biological Quantitative Experiments. In: Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS, vol.\u00a0164, pp. 101\u2013117 (2006)","DOI":"10.1016\/j.entcs.2006.07.014"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0304-3975(96)00063-1","volume":"168","author":"G.-L. Ferrari","year":"1996","unstructured":"Ferrari, G.-L., Montanari, U., Quaglia, P.: A \u03c0-calculus with Explicit Substitutions. Theoretical Computer Science\u00a0168(1), 53\u2013103 (1996)","journal-title":"Theoretical Computer Science"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic Bisimulations. Theoretical Computer Science\u00a0138, 353\u2013389 (1995)","journal-title":"Theoretical Computer Science"},{"key":"28_CR6","unstructured":"Larcher, R., Ihekwaba, A., Priami, C.: A BetaWB model for the NFkB pathway. Technical Report TR-25-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)"},{"key":"28_CR7","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"28_CR8","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"28_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Perelson, A.S., Oster, G.F.: Theoretical studies of clonal selection: minimal antibody repertoire size and reliability of self-non-self discrimination. J. Theoretical Biology\u00a081(4) (1979)","DOI":"10.1016\/0022-5193(79)90275-3"},{"issue":"3-4","key":"28_CR11","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1159\/000093685","volume":"2","author":"D. Prandi","year":"2006","unstructured":"Prandi, D., Priami, C., Quaglia, P.: Shape spaces in formal interactions. ComPlexUs\u00a02(3-4), 128\u2013139 (2006)","journal-title":"ComPlexUs"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Prandi, D., Priami, C., Quaglia, P.: Communicating by Compatibility. Journal of Logic and Algebraic Programming (to appear, 2007)","DOI":"10.1016\/j.jlap.2007.09.001"},{"key":"28_CR13","series-title":"Lecture Notes in Bioinformatics","first-page":"21","volume-title":"Computational Methods in Systems Biology","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 21\u201334. Springer, Heidelberg (2005)"},{"issue":"1","key":"28_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theoretical Computer Science"},{"key":"28_CR15","unstructured":"Romanel, A., Dematt\u00e9, L., Priami, C.: The Beta Workbench. Technical Report TR-03-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)"},{"key":"28_CR16","volume-title":"The \u03c0-calculus: a Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"28_CR17","unstructured":"Shinwell, M.R.: The Fresh Approach: functional programming with names and binders. PhD thesis, University of Cambridge Computer Laboratory (2005)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T21:47:47Z","timestamp":1557611267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}