{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:20:28Z","timestamp":1759638028507,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_1","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"3-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Moment Semantics for Reversible Rule-Based Systems"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Honorato-Zimmer","sequence":"additional","affiliation":[]},{"given":"Sandro","family":"Stucki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"1_CR1","unstructured":"The Preferential Attachment ODE Generator (2015). https:\/\/github.com\/sstucki\/pa-ode-gen\/"},{"key":"1_CR2","unstructured":"Bapodra, M., Heckel, R.: From graph transformations to differential equations. ECEASST 30 (2010)"},{"issue":"5439","key":"1_CR3","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1126\/science.286.5439.509","volume":"286","author":"AL Barab\u00e1si","year":"1999","unstructured":"Barab\u00e1si, A.L., Albert, R.: Emergence of scaling in random networks. Science 286(5439), 509\u2013512 (1999)","journal-title":"Science"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0378-4371(99)00291-5","volume":"272","author":"AL Barab\u00e1si","year":"1999","unstructured":"Barab\u00e1si, A.L., Albert, R., Jeong, H.: Mean-field theory for scale-free random networks. Physica A: Statistical Mechanics and its Applications 272(1), 173\u2013187 (1999)","journal-title":"Physica A: Statistical Mechanics and its Applications"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2537948","volume":"61","author":"P Chaput","year":"2014","unstructured":"Chaput, P., Danos, V., Panangaden, P., Plotkin, G.D.: Approximating Markov processes by averaging. Journal of the ACM 61(1), 5 (2014)","journal-title":"Journal of the ACM"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/11841883_4","volume-title":"Graph Transformations","author":"A Corradini","year":"2006","unstructured":"Corradini, A., Heindel, T., Hermann, F., K\u00f6nig, B.: Sesqui-pushout rewriting. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 30\u201345. Springer, Heidelberg (2006)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., L\u00f6we, M.: Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163\u2013245 (1997)","DOI":"10.1142\/9789812384720_0003"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Formal Methods and Software Engineering","author":"V Danos","year":"2014","unstructured":"Danos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Approximations for stochastic graph rewriting. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 1\u201310. Springer, Heidelberg (2014)"},{"key":"1_CR9","unstructured":"Danos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Deriving rate equations for site graph rewriting systems. In: SASB (2013)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Danos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Coarse-graining the dynamics of ideal branched polymers. In: Electronic Notes in Theoretical Computer Science, Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, pp. 47\u201364, April 2015","DOI":"10.1016\/j.entcs.2015.04.018"},{"key":"1_CR11","first-page":"1842","volume":"E 62","author":"SN Dorogovtsev","year":"2000","unstructured":"Dorogovtsev, S.N., Mendes, J.F.F.: Evolution of networks with aging of sites. Phys. Rev. E 62, 1842\u20131845 (2000)","journal-title":"Phys. Rev."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"4633","DOI":"10.1103\/PhysRevLett.85.4633","volume":"85","author":"SN Dorogovtsev","year":"2000","unstructured":"Dorogovtsev, S.N., Mendes, J.F.F., Samukhin, A.N.: Structure of growing networks with preferential linking. Phys. Rev. Lett. 85, 4633\u20134636 (2000)","journal-title":"Phys. Rev. Lett."},{"issue":"10","key":"1_CR13","doi-asserted-by":"publisher","first-page":"3682","DOI":"10.1073\/pnas.1200709109","volume":"109","author":"R Durrett","year":"2012","unstructured":"Durrett, R., Gleeson, J.P., Lloyd, A.L., Mucha, P.J., Shi, F., Sivakoff, D., Socolar, J.E., Varghese, C.: Graph fission in an evolving voter model. Proceedings of the National Academy of Sciences 109(10), 3682\u20133687 (2012)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"1","key":"1_CR14","first-page":"135","volume":"74","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundamenta Informaticae 74(1), 135\u2013166 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812384720_0004","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation. Part II: Single pushout approach and comparison with double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 247\u2013312. World Scientific, River Edge (1997)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. Wiley (1986)","DOI":"10.1002\/9780470316658"},{"issue":"2","key":"1_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10955-009-9696-2","volume":"135","author":"MR Evans","year":"2009","unstructured":"Evans, M.R., Ferrari, P.A., Mallick, K.: Matrix representation of the stationary measure for the multispecies TASEP. Journal of Statistical Physics 135(2), 217\u2013239 (2009)","journal-title":"Journal of Statistical Physics"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-68894-5_3","volume-title":"Formal Methods for Computational Systems Biology","author":"F Fages","year":"2008","unstructured":"Fages, F., Soliman, S.: Formal cell biology in Biocham. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 54\u201380. Springer, Heidelberg (2008)"},{"issue":"16","key":"1_CR20","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Harmer, R., Krivine, J., Fontana, W.: Internal coarse-graining of molecular systems. PNAS 106(16), 6453\u20136458 (2009)","journal-title":"PNAS"},{"issue":"6","key":"1_CR21","doi-asserted-by":"publisher","first-page":"068701","DOI":"10.1103\/PhysRevLett.107.068701","volume":"107","author":"JP Gleeson","year":"2011","unstructured":"Gleeson, J.P.: High-accuracy approximation of binary-state dynamics on networks. Physical Review Letters 107(6), 068701 (2011)","journal-title":"Physical Review Letters"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Harmer, R., Danos, V., Feret, J., Krivine, J., Fontana, W.: Intrinsic information carriers in combinatorial dynamical systems. Chaos 20(3) (2010)","DOI":"10.1063\/1.3491100"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-37075-5_1","volume-title":"Foundations of Software Science and Computation Structures","author":"J Hayman","year":"2013","unstructured":"Hayman, J., Heindel, T.: Pattern graphs and rule-based models: the semantics of Kappa. In: Pfenning, F. (ed.) FOSSACS 2013 (ETAPS 2013). LNCS, vol. 7794, pp. 1\u201316. Springer, Heidelberg (2013)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-33654-6_14","volume-title":"Graph Transformations","author":"R Heckel","year":"2012","unstructured":"Heckel, R.: DPO transformation with open maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 203\u2013217. Springer, Heidelberg (2012)"},{"issue":"1","key":"1_CR25","first-page":"63","volume":"74","author":"R Heckel","year":"2006","unstructured":"Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. Fundam. Inform. 74(1), 63\u201384 (2006)","journal-title":"Fundam. Inform."},{"issue":"0","key":"1_CR26","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/S1571-0661(05)80188-4","volume":"2","author":"R Heckel","year":"1995","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph grammars - a constructive approach. Electronic Notes in Theoretical Computer Science 2(0), 118\u2013126 (1995)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"van Kampen, N.: Stochastic processes in physics and chemistry, 3rd edition, North-Holland (2007)","DOI":"10.1016\/B978-044452965-7\/50006-4"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol. 2987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"2","key":"1_CR29","first-page":"522","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. Theoretical Informatics and Applications 39(2), 522\u2013546 (2005)","journal-title":"Theoretical Informatics and Applications"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Lopez, C.F., Muhlich, J.L., Bachman, J.A., Sorger, P.K.: Programming biological models in Python using PySB. Molecular Systems Biology 9(1) (2013)","DOI":"10.1038\/msb.2013.1"},{"issue":"1&2","key":"1_CR31","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(93)90068-5","volume":"109","author":"M L\u00f6we","year":"1993","unstructured":"L\u00f6we, M.: Algebraic Approach to Single-Pushout Graph Transformation. Theoretical Computer Science 109(1&2), 181\u2013224 (1993)","journal-title":"Theoretical Computer Science"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Lynch, J.F.: A logical characterization of individual-based models. In: 23rd Annual IEEE Symposium on Logic in Computer Science, LICS 2008, pp. 379\u2013390. IEEE (2008)","DOI":"10.1109\/LICS.2008.27"},{"key":"1_CR33","unstructured":"Norris, J.R.: Markov chains. Cambridge series in statistical and probabilistic mathematics. Cambridge University Press (1998)"},{"issue":"1","key":"1_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1070\/SM1992v071n01ABEH002126","volume":"71","author":"SA Shkarin","year":"1992","unstructured":"Shkarin, S.A.: Some results on solvability of ordinary linear differential equations in locally convex spaces. Mathematics of the USSR-Sbornik 71(1), 29 (1992)","journal-title":"Mathematics of the USSR-Sbornik"},{"issue":"23","key":"1_CR35","doi-asserted-by":"publisher","first-page":"238101","DOI":"10.1103\/PhysRevLett.94.238101","volume":"94","author":"EB Stukalin","year":"2005","unstructured":"Stukalin, E.B., Phillips III, H., Kolomeisky, A.B.: Coupling of two motor proteins: a new motor can move faster. Physical Review Letters 94(23), 238101 (2005)","journal-title":"Physical Review Letters"},{"issue":"6","key":"1_CR36","doi-asserted-by":"publisher","first-page":"e38518","DOI":"10.1371\/journal.pone.0038518","volume":"7","author":"P Thomas","year":"2012","unstructured":"Thomas, P., Matuschek, H., Grima, R.: Intrinsic noise analyzer: a software package for the exploration of stochastic biochemical kinetics using the system size expansion. PloS ONE 7(6), e38518 (2012)","journal-title":"PloS ONE"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T15:28:10Z","timestamp":1674228490000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}