{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T16:10:05Z","timestamp":1750781405266,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"publisher":"ACM","funder":[{"name":"Poul Due Jensens Fond (Grundfos Foundation)","award":["883901"],"award-info":[{"award-number":["883901"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3726301.3728406","type":"proceedings-article","created":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T11:16:41Z","timestamp":1750504601000},"page":"7-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Agent-based modeling in Economics by Process Algebra"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6186-8669","authenticated-orcid":false,"given":"Max","family":"Tschaikowski","sequence":"first","affiliation":[{"name":"Computer Science Department, Aalborg University, Aalborg, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Alessandro Abate Roman Andriushchenko Milan Ceska and Marta Kwiatkowska. 2021. Adaptive formal approximations of Markov chains. Perform. Evaluation 148 (2021).","DOI":"10.1016\/j.peva.2021.102207"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Mochamad Apri Maarten de Gee and Jaap Molenaar. 2012. Complexity reduction preserving dynamical behavior of biochemical networks. Journal of Theoretical Biology 304 0 (2012) 16\u201326.","DOI":"10.1016\/j.jtbi.2012.03.019"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS52264.2021.9470555"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85172-9_19"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Andreea Beica J\u00e9r\u00f4me Feret and Tatjana Petrov. 2020. Tropical Abstraction of Biochemical Reaction Networks with Guarantees. Electronic Notes in Theoretical Computer Science 350 (Sept. 2020) 3\u201332. 10.1016\/j.entcs.2020.06.002","DOI":"10.1016\/j.entcs.2020.06.002"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Marco Bernardo and Roberto Gorrieri. 1998. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism Priorities Probabilities and Time. Theor. Comput. Sci. 202 1-2 (1998) 1\u201354.","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99527-0_9"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Luca Bortolussi and Jane Hillston. 2015. Model checking single agent behaviours by fluid approximation. Inf. Comput. 242 (2015) 183\u2013226. 10.1016\/J.IC.2015.03.002","DOI":"10.1016\/J.IC.2015.03.002"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"P. Buchholz. 1994. Exact and Ordinary Lumpability in Finite Markov Chains. J. Applied Probability 31 (1994) 59\u201374.","DOI":"10.2307\/3215235"},{"key":"e_1_3_3_2_11_2","unstructured":"P. Buchholz. 1994. On a Markovian Process Algebra. Universit\u00e4t Dortmund Fachbereich Informatik Forschungsbericht Nr. 500 (1994)."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"Peter Buchholz. 1999. Exact Performance Equivalence: An Equivalence Relation for Stochastic Automata. Theor. Comput. Sci. 215 1-2 (1999) 263\u2013287.","DOI":"10.1016\/S0304-3975(98)00169-8"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"Luca Cardelli Isabel\u00a0Cristina P\u00e9rez-Verona Mirco Tribastone Max Tschaikowski Andrea Vandin and Tabea Waizmann. 2021. Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37 15 (2021) 2175\u20132182. 10.1093\/bioinformatics\/btab081","DOI":"10.1093\/bioinformatics\/btab081"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Luca Cardelli Mirco Tribastone and Max Tschaikowski. 2020. From electric circuits to chemical networks. Nat. Comput. 19 1 (2020) 237\u2013248.","DOI":"10.1007\/s11047-019-09761-7"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Luca Cardelli Mirco Tribastone Max Tschaikowski and Andrea Vandin. 2017. Maximal aggregation of polynomial dynamical systems. PNAS 114 38 (2017) 10029\u201310034.","DOI":"10.1073\/pnas.1702697114"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63121-9_23"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_7"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_19"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Federica Ciocchetta and Jane Hillston. 2009. Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science 410 33 (2009) 3065\u20133084. 10.1016\/j.tcs.2009.02.037Concurrent Systems Biology: To Nadia Busi (1968\u20132007).","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Anup Das Geoff\u00a0V. Merrett Mirco Tribastone and Bashir\u00a0M. Al-Hashimi. 2016. Workload Change Point Detection for Runtime Thermal Management of Embedded Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 8 (2016) 1358\u20131371.","DOI":"10.1109\/TCAD.2015.2504875"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Salem Derisavi Holger Hermanns and William\u00a0H. Sanders. 2003. Optimal state-space lumping in Markov chains. Inform. Process. Lett. 87 6 (2003) 309 \u2013 315. 10.1016\/S0020-0190(03)00343-0","DOI":"10.1016\/S0020-0190(03)00343-0"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00f4me Feret Vincent Danos Jean Krivine Russ Harmer and Walter Fontana. 2009. Internal coarse-graining of molecular systems. PNAS 106 16 (2009) 6453\u20136458. arXiv:http:\/\/www.pnas.org\/content\/106\/16\/6453.full.pdf+html","DOI":"10.1073\/pnas.0809908106"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"G. Franceschinis and Richard\u00a0R. Muntz. 1994. Bounds for quasi-lumpable Markov chains. Performance Evaluation 20 1-3 (1994) 223 \u2013 243. 10.1016\/0166-5316(94)90015-9","DOI":"10.1016\/0166-5316(94)90015-9"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"Nicolas Gast Luca Bortolussi and Mirco Tribastone. 2019. Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis. ACM SIGMETRICS Performance Evaluation Review 46 3 (2019) 25\u201326.","DOI":"10.1145\/3308897.3308909"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Nil Geisweiller Jane Hillston and Marco Stenico. 2008. Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404 1-2 (2008) 97\u2013111.","DOI":"10.1016\/j.tcs.2008.04.012"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"S. Gilmore J. Hillston and M. Ribaudo. 2001. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27 5 (May 2001) 449\u2013464.","DOI":"10.1109\/32.922715"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","unstructured":"Richard\u00a0A. Hayden and Jeremy\u00a0T. Bradley. 2010. A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci. 411 22-24 (2010) 2260\u20132297.","DOI":"10.1016\/j.tcs.2010.02.001"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15034-0_3"},{"key":"e_1_3_3_2_29_2","first-page":"71","volume-title":"Proceedings of PAPM","author":"Hermanns H.","year":"1994","unstructured":"H. Hermanns and M. Rettelbach. 1994. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Proceedings of PAPM. Erlangen, 71\u201387."},{"key":"e_1_3_3_2_30_2","first-page":"143","volume-title":"In Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling","author":"Hillston Jane","year":"1994","unstructured":"Jane Hillston. 1994. The nature of synchronisation.. In In Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling. 143\u2013160."},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.12"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48057-1_23"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"crossref","unstructured":"Mirolyuba Ilieva Max Tschaikowski Andrea Vandin and Shizuka Uchida. 2022. The current status of gene expression profilings in COVID-19 patients. Clinical and Translational Discovery 2 3 (2022) e104.","DOI":"10.1002\/ctd2.104"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57249-4_17"},{"key":"e_1_3_3_2_36_2","volume-title":"Finite Markov Chains","author":"Kemeny J.G.","year":"1960","unstructured":"J.G. Kemeny and J.L. Snell. 1960. Finite Markov Chains. Springer."},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"crossref","unstructured":"T.\u00a0G. Kurtz. 1970. Solutions of ordinary differential equations as limits of pure Markov processes. J. Appl. Prob. 7 1 (April 1970) 49\u201358.","DOI":"10.2307\/3212147"},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"crossref","unstructured":"Thomas\u00a0G. Kurtz. 1972. The Relationship between Stochastic and Deterministic Models for Chemical Reactions. The Journal of Chemical Physics 57 7 (10 1972) 2976\u20132978.","DOI":"10.1063\/1.1678692"},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"crossref","unstructured":"Carsten Maus Stefan Rybacki and Adelinde\u00a0M Uhrmacher. 2011. Rule-based multi-level modeling of cell biological systems. BMC systems biology 5 (2011) 1\u201320.","DOI":"10.1186\/1752-0509-5-166"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Henning Schmidt Mads Madsen Sune Dan\u00f8 and Gunnar Cedersund. 2008. Complexity reduction of biochemical rate expressions. Bioinformatics 24 6 (2008) 848\u2013854.","DOI":"10.1093\/bioinformatics\/btn035"},{"key":"e_1_3_3_2_42_2","first-page":"275","volume-title":"Computer Performance and Reliability","author":"Schweitzer Paul\u00a0J.","year":"1983","unstructured":"Paul\u00a0J. Schweitzer. 1983. Aggregation Methods for Large Markov Chains. In Computer Performance and Reliability. 275\u2013286."},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"crossref","unstructured":"U. Sumita and M. Rieders. 1989. Lumpability and time reversibility in the aggregation-disaggregation method for large Markov chains. Commun. Statist. - Stoch. Models 5 (1989) 63\u2013\u00f181.","DOI":"10.1080\/15326348908807099"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"crossref","unstructured":"Mikael Sunnaker Gunnar Cedersund and Mats Jirstrand. 2011. A method for zooming of nonlinear models of biochemical systems. BMC Systems Biology 5 1 (2011) 140.","DOI":"10.1186\/1752-0509-5-140"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071265"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648520"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"crossref","unstructured":"Mirco Tribastone Stephen Gilmore and Jane Hillston. 2012. Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38 1 (2012) 205\u2013219.","DOI":"10.1109\/TSE.2010.82"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.154.3"},{"key":"e_1_3_3_2_49_2","doi-asserted-by":"publisher","unstructured":"Max Tschaikowski and Mirco Tribastone. 2014. Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science 517 (2014) 1\u201333. 10.1016\/j.tcs.2013.08.016","DOI":"10.1016\/j.tcs.2013.08.016"},{"key":"e_1_3_3_2_50_2","doi-asserted-by":"crossref","unstructured":"Max Tschaikowski and Mirco Tribastone. 2015. A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84 2 (2015) 238\u2013258.","DOI":"10.1016\/j.jlamp.2014.10.004"},{"key":"e_1_3_3_2_51_2","doi-asserted-by":"crossref","unstructured":"Max Tschaikowski and Mirco Tribastone. 2016. Approximate reduction of heterogeneous nonlinear models with differential hulls. IEEE TAC (2016).","DOI":"10.1109\/TAC.2015.2457172"},{"key":"e_1_3_3_2_52_2","doi-asserted-by":"crossref","unstructured":"Max Tschaikowski and Mirco Tribastone. 2017. Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109 (2017) 52\u201376.","DOI":"10.1016\/j.peva.2016.12.005"},{"key":"e_1_3_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_4"},{"key":"e_1_3_3_2_54_2","doi-asserted-by":"crossref","unstructured":"Roberto Veneziani and Simon Mohun. 2006. Structural stability and Goodwin\u2019s growth cycle. Structural Change and Economic Dynamics 17 4 (2006) 437\u2013451.","DOI":"10.1016\/j.strueco.2006.08.003"},{"key":"e_1_3_3_2_55_2","doi-asserted-by":"crossref","unstructured":"Max Whitby Luca Cardelli Marta Kwiatkowska Luca Laurenti Mirco Tribastone and Max Tschaikowski. 2022. PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67 2 (2022) 1023\u20131030.","DOI":"10.1109\/TAC.2021.3062544"},{"key":"e_1_3_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88479-8_13"}],"event":{"name":"SIGSIM-PADS '25: 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Santa Fe USA","acronym":"SIGSIM-PADS '25"},"container-title":["Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3726301.3728406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T15:34:26Z","timestamp":1750779266000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3726301.3728406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":55,"alternative-id":["10.1145\/3726301.3728406","10.1145\/3726301"],"URL":"https:\/\/doi.org\/10.1145\/3726301.3728406","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}