{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:04:58Z","timestamp":1753520698225,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540885610"},{"type":"electronic","value":"9783540885627"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88562-7_10","type":"book-chapter","created":{"date-parts":[[2008,10,4]],"date-time":"2008-10-04T05:12:53Z","timestamp":1223097173000},"page":"83-102","source":"Crossref","is-referenced-by-count":17,"title":["The Attributed Pi Calculus"],"prefix":"10.1007","author":[{"given":"Mathias","family":"John","sequence":"first","affiliation":[]},{"given":"C\u00e9dric","family":"Lhoussaine","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cells as Computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"10_CR2","unstructured":"Regev, A.: Computational Systems Biology: A Calculus for Biomolecular Knowledge. Tel Aviv University, PhD thesis (2003)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a Stochastic Name-Passing Calculus to Representation and Simulation of Molecular Processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"10_CR4","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-540-75140-3_13","volume-title":"Computational Methods in Systems Biology","author":"A. Phillips","year":"2007","unstructured":"Phillips, A., Cardelli, L.: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi Calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 184\u2013199. Springer, Heidelberg (2007)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-73433-8_17","volume-title":"Algebraic Biology","author":"C. Kuttler","year":"2007","unstructured":"Kuttler, C., Lhoussaine, C., Niehren, J.: A Stochastic Pi Calculus for Concurrent Objects. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol.\u00a04545, pp. 232\u2013246. Springer, Heidelberg (2007)"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/1364644.1364653","volume":"35","author":"L. Dematt\u00e9","year":"2008","unstructured":"Dematt\u00e9, L., Priami, C., Romanel, A.: Modelling and Simulation of Biological Processes in BlenX. SIGMETRICS Performance Evaluation Review\u00a035(4), 32\u201339 (2008)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"issue":"3","key":"10_CR7","first-page":"103","volume":"194","author":"F. Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. ENTCS\u00a0194(3), 103\u2013117 (2008)","journal-title":"ENTCS"},{"key":"10_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1002\/cplx.20074","volume":"10","author":"J.R. Faeder","year":"2005","unstructured":"Faeder, J.R., Blinov, M.L., Goldstein, B., Hlavacek, W.S.: Rule-Based Modeling of Biochemical Networks. Complexity\u00a010(4), 22\u201341 (2005)","journal-title":"Complexity"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"10_CR11","first-page":"239","volume-title":"LICS 2005: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process Algebras for Quantitative Analysis. In: LICS 2005: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, pp. 239\u2013248. IEEE Computer Society, Los Alamitos (2005)"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L.: On Process Rate Semantics. TCS\u00a0391(3), 190\u2013215 (2008)","journal-title":"TCS"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint Logic Programming. In: 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/99583.99627","volume-title":"18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"V.A. Saraswat","year":"1991","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: The Semantic Foundations of Concurrent Constraint Programming. In: 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 333\u2013352. ACM Press, New York (1991)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Versari, C.: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. Programming Languages and Systems, pp. 411\u2013425 (2007)","DOI":"10.1007\/978-3-540-71316-6_28"},{"key":"10_CR16","unstructured":"Kuttler, C.: Modeling Bacterial Gene Expression in a Stochastic Pi Calculus with Concurrent Objects. PhD thesis, Universit\u00e9 des Sciences et Technologies de Lille - Lille 1 (2007)"},{"key":"10_CR17","first-page":"24","volume":"VII","author":"C. Kuttler","year":"2006","unstructured":"Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology\u00a0VII, 24\u201355 (2006)","journal-title":"Transactions on Computational Systems Biology"},{"key":"10_CR18","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-75140-3_6","volume-title":"Computational Methods in Systems Biology","author":"C. Versari","year":"2007","unstructured":"Versari, C., Busi, N.: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 80\u201395. Springer, Heidelberg (2007)"},{"issue":"3","key":"10_CR19","first-page":"165","volume":"194","author":"C. Versari","year":"2008","unstructured":"Versari, C., Busi, N.: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. ENTCS\u00a0194(3), 165\u2013180 (2008)","journal-title":"ENTCS"},{"issue":"1","key":"10_CR20","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.: BioAmbients: An Abstraction for Biological Compartments. TCS\u00a0325(1), 141\u2013167 (2004)","journal-title":"TCS"},{"key":"10_CR21","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-25974-9_24","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, pp. 257\u2013278. Springer, Heidelberg (2005)"},{"issue":"3","key":"10_CR22","first-page":"133","volume":"194","author":"M. John","year":"2008","unstructured":"John, M., Ewald, R., Uhrmacher, A.M.: A Spatial Extension to the Pi Calculus. ENTCS\u00a0194(3), 133\u2013148 (2008)","journal-title":"ENTCS"},{"issue":"3","key":"10_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"B.N. Kholodenko","year":"2006","unstructured":"Kholodenko, B.N.: Cell-Signalling Dynamics in Time and Space. Nature Reviews Molecular Cell Biology\u00a07(3), 165\u2013176 (2006)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"10_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12841-1","volume-title":"Protozoologie","author":"K.G. Grell","year":"1968","unstructured":"Grell, K.G.: Protozoologie. Springer, Heidelberg (1968)"},{"issue":"4","key":"10_CR25","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. Journal of Computational Physics\u00a022(4), 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Khomenko, V., Meyer, R.: Checking Pi Calculus Structural Congruence is Graph Isomorphism Complete. Technical Report CS-TR: 1100, School of Computing Science, Newcastle University, 20 pages (2008)","DOI":"10.1109\/ACSD.2009.8"},{"key":"10_CR27","unstructured":"Cappello, I., Quaglia, P.: A translation of beta-binders in a prioritized pi-calculus. In: From Biology to Concurrency and back, Workshop FBTC (2008)"},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Methods in Systems Biology, International Conference CMSB 2008","author":"R. Ewald","year":"2008","unstructured":"Ewald, R., Jeschke, M.: Large-Scale Design Space Exploration of SSA. In: Computational Methods in Systems Biology, International Conference CMSB 2008. LNCS. Springer, Heidelberg (2008)"}],"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-88562-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:30:12Z","timestamp":1558265412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88562-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885610","9783540885627"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88562-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}