4/9/2023 0 Comments Fragger search nature paperLack, S., Sobociński, P.: Adhesive and quasiadhesive categories. Van Kampen, N.: Stochastic Processes in Physics and Chemistry. Heckel, R., Lajios, G., Menge, S.: Stochastic graph transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. Heckel, R.: DPO transformation with open maps. Hayman, J., Heindel, T.: Pattern graphs and rule-based models: the semantics of kappa. Harmer, R., Danos, V., Feret, J., Krivine, J., Fontana, W.: Intrinsic information carriers in combinatorial dynamical systems. Habel, A., Pennemann, K.H.: Correctness of high-level transformation systems relative to nested conditions. Grima, R., Thomas, P., Straube, A.V.: How accurate are the nonlinear chemical Fokker-Planck and chemical Langevin equations? J. Gleeson, J.P.: High-accuracy approximation of binary-state dynamics on networks. įeret, J., Danos, V., Harmer, R., Krivine, J., Fontana, W.: Internal coarse-graining of molecular systems. In: Bernardo, M., Degano, P., Zavattaro, G. Wiley (1986)Įvans, M.R., Ferrari, P.A., Mallick, K.: Matrix representation of the stationary measure for the multispecies TASEP. World Scientific, River Edge, NJ, USA (1997)Įthier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. Part II: Single pushout approach and comparison with double pushout approach. Algebra 49(1–2), 103–116 (1987)Įhrig, H., et al.: Algebraic approaches to graph transformation. 109(10), 3682–3687 (2012)ĭyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. 47–64 (2015)ĭurrett, R., et al.: Graph fission in an evolving voter model. In: Proceedings 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012). ĭanos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Coarse-graining the dynamics of ideal branched polymers. ĭanos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Moment semantics for reversible rule-based systems. ĭanos, V., Heindel, T., Honorato-Zimmer, R., Stucki, S.: Approximations for stochastic graph rewriting. Seattle, WA, USA (2013), (to appear)ĭanos, V., Heindel, T., Garnier, I., Simonsen, J.G.: Computing continuous-time markov chains as transformers of unbounded observables. In: Proceedings 4th International Workshop on Static Analysis and Systems Biology (SASB 2013). ĭanos, V., Harmer, R., Honorato-Zimmer, R., Stucki, S.: Deriving rate equations for site graph rewriting systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. CoRR arXiv:2003.11010 (2020)īortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: a tutorial. CoRR arXiv:1612.06240 (2016)īehr, N., Saadat, M.G., Heckel, R.: Commutators for stochastic rewriting systems: theory and implementation in Z3. ISSN 2075-2180īehr, N., Danos, V., Garnier, I., Heindel, T.: The algebras of graph rewriting. īehr, N.: Sesqui-pushout rewriting: concurrency, associativity and rule algebra framework. (eds.) Proceedings Graph Transformation, 13th International Conference, ICGT 2020. CoRR arXiv:1904.09322 (2019)īehr, N., Krivine, J.: Rewriting theory for the life sciences: a unifying framework for CTMC semantics. īehr, N., Krivine, J.: Compositionality of rewriting rules with conditions. īehr, N., Danos, V., Garnier, I.: Combinatorial conversion and moment bisimulation for stochastic rewriting systems. ISBN 9781450343916īehr, N., Sobocinski, P.: Rule algebras for adhesive categories. In: Proceedings 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016, New York, pp. īarr, M., Wells, C.: Category theory for computing science, 2 ed., Prentice Hall International Series in Computer Science, Prentice Hall (1995)īehr, N., Danos, V., Garnier, I.: Stochastic mechanics of graph rewriting. 24, 56–103 (2014)īapodra, M., Heckel, R.: From graph transformations to differential equations. īaldan, P., Corradini, A., Heindel, T., König, B., Sobocinski, P.: Processes and unfoldings: concurrent computations in adhesive categories. Anderson, W.J.: Continuous-Time Markov Chains: An Applications-Oriented Approach.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |