{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:22:04Z","timestamp":1743106924537,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851936"},{"type":"electronic","value":"9783540851943"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85194-3_7","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T06:21:05Z","timestamp":1219126865000},"page":"51-63","source":"Crossref","is-referenced-by-count":2,"title":["From Gene Regulation to Stochastic Fusion"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"57","volume":"XVI","author":"G. Ciobanu","year":"2005","unstructured":"Ciobanu, G., Mishra, J.: Performance Analysis and Name Passing Errors in Probabilistic Fusion. Scientific Annals of \u201cA.I.Cuza\u201d University\u00a0XVI, 57\u201376 (2005)","journal-title":"Scientific Annals of \u201cA.I.Cuza\u201d University"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BFb0055639","volume-title":"CONCUR \u201998 Concurrency Theory","author":"L. de Alfaro","year":"1998","unstructured":"de Alfaro, L.: Stochastic Transition Systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 423\u2013438. Springer, Heidelberg (1998)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/3-540-55719-9_110","volume-title":"Automata, Languages and Programming","author":"P. Degano","year":"1992","unstructured":"Degano, P., Priami, C.: Proved Trees. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 629\u2013640. Springer, Heidelberg (1992)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.V. Glabeek","year":"1995","unstructured":"Glabeek, R.V., Smolka, S., Steffen, B., Tofts, C.: Reactive, Generative and Stratified Models for Probabilistic Processes. Inf. and Computation\u00a0121, 59\u201380 (1995)","journal-title":"Inf. and Computation"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","first-page":"843","volume-title":"Interactive Markov Chains: The Quest for Quantified Quality","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428, pp. 843\u2013857. Springer, Heidelberg (2002)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/B978-044482830-9\/50029-1","volume-title":"Handbook of Process Algebra","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Larsen, K., Yi, W.: Probabilistic Extensions of Process Algebras. In: Handbook of Process Algebra, pp. 685\u2013710. Elsevier, Amsterdam (2001)"},{"key":"7_CR7","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11905455_2","volume-title":"Transactions on Computational Systems Biology VII","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J.: Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. In: Priami, C., Ing\u00f3lfsd\u00f3ttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol.\u00a04230, pp. 24\u201355. Springer, Heidelberg (2006)"},{"key":"7_CR8","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh (1994)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through Probabilistic Testing. Information and Computation\u00a094, 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"7_CR10","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. Information and Computation\u00a0100, 1\u201340 (1992)","journal-title":"Information and Computation"},{"key":"7_CR11","first-page":"176","volume-title":"13th IEEE Symposium on Logic in Computer Science","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: 13th IEEE Symposium on Logic in Computer Science, pp. 176\u2013185. IEEE Computer Society, Los Alamitos (1998)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BFb0055618","volume-title":"CONCUR \u201998 Concurrency Theory","author":"J. Parrow","year":"1998","unstructured":"Parrow, J., Victor, B.: The tau-Laws of Fusion. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 99\u2013114. Springer, Heidelberg (1998)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"7_CR14","series-title":"Natural Computing Series","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-18734-6_11","volume-title":"Modelling in Molecular Biology","author":"A. Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The \u03c0-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series, pp. 219\u2013266. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85194-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T04:05:57Z","timestamp":1715400357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85194-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540851936","9783540851943"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85194-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}