{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T19:01:52Z","timestamp":1778871712333,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642117114","type":"print"},{"value":"9783642117121","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-11712-1_2","type":"book-chapter","created":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T20:48:43Z","timestamp":1265921323000},"page":"13-76","source":"Crossref","is-referenced-by-count":21,"title":["The Attributed Pi-Calculus with Priorities"],"prefix":"10.1007","author":[{"given":"Mathias","family":"John","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9dric","family":"Lhoussaine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","first-page":"239","volume-title":"Proceedings of 20th IEEE Symposium on Logic in Computer Science (LICS 2005)","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: Proceedings of 20th IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, IL, USA, June 26-29, pp. 239\u2013248. IEEE Comp. Soc. Press, Los Alamitos (2005)"},{"key":"2_CR2","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. Theoretical Computer Science\u00a0391, 190\u2013215 (2008)","journal-title":"Theoretical Computer Science"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine BIOCHAM. In: Computational Methods in Systems Biology, pp. 172\u2013191 (2004)","DOI":"10.1007\/978-3-540-25974-9_14"},{"key":"2_CR4","unstructured":"Regev, A.: Computational Systems Biology: A Calculus for Biomolecular Knowledge. Tel Aviv University, PhD thesis (2003)"},{"key":"2_CR5","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":"2_CR6","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"2_CR7","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":"2_CR8","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, 22\u201341 (2005)","journal-title":"Complexity"},{"key":"2_CR9","series-title":"Electronical notes in theoretical computer science","first-page":"73","volume-title":"24th Conference on the Mathematical Foundations of Programming Semantics","author":"J. Krivine","year":"2008","unstructured":"Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. In: 24th Conference on the Mathematical Foundations of Programming Semantics. Electronical notes in theoretical computer science, vol.\u00a0218, pp. 73\u201396. Elsevier, Amsterdam (2008)"},{"key":"2_CR10","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)"},{"key":"2_CR11","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":"2_CR12","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":"2_CR13","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, 141\u2013167 (2004)","journal-title":"TCS"},{"key":"2_CR14","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)"},{"key":"2_CR15","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, 103\u2013117 (2008)","journal-title":"ENTCS"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/s10601-007-9034-8","volume":"13","author":"L. Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Modeling biological systems in stochastic concurrent constraint programming. Constraints, an International Journal\u00a013, 66\u201390 (2008)","journal-title":"Constraints, an International Journal"},{"key":"2_CR17","first-page":"70","volume":"10","author":"M. Carbone","year":"2003","unstructured":"Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nordic Journal of Computing\u00a010, 70\u201398 (2003)","journal-title":"Nordic Journal of Computing"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Versari, C.: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. In: Programming Languages and Systems, pp. 411\u2013425 (2007)","DOI":"10.1007\/978-3-540-71316-6_28"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"6","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. Computer Journal\u00a06, 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"2_CR20","unstructured":"Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi calculus for concurrent objects. In: 1st International Workshop on Probabilistic Automata and Logics (2006)"},{"key":"2_CR21","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proceedings of BioConcur 2004 (2004)"},{"key":"2_CR22","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)"},{"key":"2_CR23","first-page":"111","volume-title":"POPL 1987: Proceedings of the 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: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 111\u2013119. ACM, New York (1987)"},{"key":"2_CR24","first-page":"232","volume-title":"ACM SICPLAN-SIGACT Symposium on Principles of Programming Languages","author":"V.A. Saraswat","year":"1990","unstructured":"Saraswat, V.A., Rinard, M.C.: Concurrent constraint programming. In: ACM SICPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 232\u2013245. ACM Press, New York (1990)"},{"key":"2_CR25","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-88562-7_10","volume-title":"Computational Methods in Systems Biology","author":"M. John","year":"2008","unstructured":"John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.: The attributed pi calculus. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 83\u2013102. Springer, Heidelberg (2008)"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology, 24\u201355 (2006)","DOI":"10.1007\/11905455_2"},{"key":"2_CR27","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":"2_CR28","unstructured":"Versari, C.: A Core Calculus for the Analysis and Implementation of Biologically Inspired Languages. PhD thesis, University of Bologna (2009)"},{"key":"2_CR29","first-page":"137","volume-title":"ANSS 2007: Proceedings of the 40th Annual Simulation Symposium, Washington, DC, USA","author":"J. Himmelspach","year":"2007","unstructured":"Himmelspach, J., Uhrmacher, A.M.: Plug\u2019n Simulate. In: ANSS 2007: Proceedings of the 40th Annual Simulation Symposium, Washington, DC, USA, pp. 137\u2013143. IEEE Computer Society, Los Alamitos (2007)"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.1007\/11523468_97","volume-title":"Automata, Languages and Programming","author":"M. Baldamus","year":"2005","unstructured":"Baldamus, M., Parrow, J., Victor, B.: A fully abstract encoding of the pi-calculus with data terms. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 1202\u20131213. Springer, Heidelberg (2005)"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-70583-3_8","volume-title":"Automata, Languages and Programming","author":"M. Johansson","year":"2008","unstructured":"Johansson, M., Parrow, J., Victor, B., Bengtson, J.: Extended pi-calculi. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 87\u201398. Springer, Heidelberg (2008)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-540-73433-8_18","volume-title":"Algebraic Biology","author":"M.L. Guerriero","year":"2007","unstructured":"Guerriero, M.L., Priami, C., Romanel, A.: Modeling static biological compartments with beta-binders. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol.\u00a04545, pp. 247\u2013261. Springer, Heidelberg (2007)"},{"key":"2_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-04081-8_4","volume-title":"CONCUR 2009","author":"C. Priami","year":"2009","unstructured":"Priami, C., Quaglia, P., Romanel, A.: Blenx static and dynamic semantics. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 37\u201352. Springer, Heidelberg (2009)"},{"key":"2_CR34","series-title":"LNBI","first-page":"282","volume-title":"BICoB 2009","author":"M. Maurin","year":"2009","unstructured":"Maurin, M., Magnin, M., Roux, O.H.: Modeling of genetic regulatory network in stochastic pi-calculus. In: Rajasekaran, S. (ed.) BICoB 2009. LNCS (LNBI), vol.\u00a05462, pp. 282\u2013294. Springer, Heidelberg (2009)"},{"key":"2_CR35","unstructured":"Lecca, P.: Stochastic pi-calculus models of the molecular bases of parkinson\u2019s disease. In: International Conference on Bioinformatics and Computational Biology, pp. 298\u2013304 (2008)"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1017\/S0956796800003762","volume":"10","author":"J. Niehren","year":"2000","unstructured":"Niehren, J.: Uniform confluence in concurrent computation. Journal of Functional Programming\u00a010, 453\u2013499 (2000)","journal-title":"Journal of Functional Programming"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G.P. Huet","year":"1980","unstructured":"Huet, G.P.: Confluent reductions: Abstract properties and applications to term rewriting systems. Journal of the ACM\u00a027, 797\u2013821 (1980)","journal-title":"Journal of the ACM"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Kuttler, C., Lhoussaine, C., Nebut, M.: Rule-based modeling of transcriptional attenuation at the tryptophan operon. In: Transactions on Computational Systems Biology (2009)","DOI":"10.1109\/WSC.2009.5429721"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"198","DOI":"10.2307\/2271658","volume":"32","author":"W.W. Tait","year":"1967","unstructured":"Tait, W.W.: Intensional interpretations of functionals of finite type i. Journal of Symbolic Logic\u00a032, 198\u2013212 (1967)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR40","volume-title":"Foundations for Programming Languages","author":"J.C. Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, Cambridge (1996)"},{"key":"2_CR41","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, 133\u2013148 (2008)","journal-title":"ENTCS"},{"key":"2_CR42","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, 165\u2013176 (2006)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"2_CR43","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)"},{"key":"2_CR44","series-title":"LNBI","first-page":"235","volume-title":"CMSB 2009","author":"M. John","year":"2009","unstructured":"John, M., Lhoussaine, C., Niehren, J.: Dynamic compartments in the imperative pi calculus. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS (LNBI), vol.\u00a05688, pp. 235\u2013250. Springer, Heidelberg (2009)"},{"key":"2_CR45","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, 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"2_CR46","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":"2_CR47","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem.\u00a0104, 1876\u20131889 (2000)","journal-title":"J. Phys. Chem."},{"key":"2_CR49","unstructured":"Pozo, R., Miller, B.: SciMark 2.0 (2009), \n                  \n                    http:\/\/math.nist.gov\/scimark2\/"},{"key":"2_CR50","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.biosystems.2004.03.008","volume":"1-3","author":"D. Degenring","year":"2004","unstructured":"Degenring, D., Roehl, M., Uhrmacher, A.: Discrete event, multi-level simulation of metabolite channeling. BioSystems\u00a01-3, 29\u201341 (2004)","journal-title":"BioSystems"},{"key":"2_CR51","unstructured":"Mazemondet, O., John, M., Maus, C., Uhrmacher, A.M., Rolfs, A.: Integrating diverse reaction types into stochastic models - a signaling pathway case study in the imperative pi-calculus. In: Rossetti, M.D., Hill, R.R., Johansson, B., Dunkin, A., Ingalls, R.G. (eds.) Proceedings of the Winter Simulation Conference (to appear)"},{"key":"2_CR52","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science\u00a0325, 69\u2013110 (2004)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology XII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11712-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:39:37Z","timestamp":1558273177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11712-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642117114","9783642117121"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11712-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}