Modelling and simulating decision processes of linked lives: An approach based on concurrent processes and stochastic race

References

• Ajzen, Icek. 1991. The theory of planned behavior, Organizational Behavior and Human Decision Processes 50(2): 179–211. doi: 10.1016/0749-5978(91)90020-T
   Web of Science ®Google Scholar
• Ajzen, Icek and Jane Klobas. 2013. Fertility intentions: an approach based on the theory of planned behavior, Demographic Research 29: 203–232. doi: 10.4054/DemRes.2013.29.8
   Web of Science ®Google Scholar
• Billari, Francesco C., Alexia Prskawetz, Belinda A. Diaz, and Thomas Fent. 2007. The ‘wedding-ring’: an agent-based marriage model based on social interaction, Demographic Research 17: 59–82. doi: 10.4054/DemRes.2007.17.3
   Web of Science ®Google Scholar
• Bortolussi, Luca, Rocco de Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, and Mieke Massink. 2015. CARMA: collective adaptive resource-sharing Markovian agents. Electronic Proceedings in Theoretical Computer Science 194: 16–31. doi: 10.4204/EPTCS.194.2
   Web of Science ®Google Scholar
• Dijkstra, Edsger W. 1975. Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM 18(8): 453–457. doi: 10.1145/360933.360975
   Web of Science ®Google Scholar
• Doob, Joseph L. 1945. Markoff chains—denumerable case, Transactions of the American Mathematical Society 58(3): 455–473. doi: 10.2307/1990339
   Web of Science ®Google Scholar
• Ewald, Roland and Adelinde M. Uhrmacher. 2014. SESSL: a domain-specific language for simulation experiments, ACM Transactions on Modeling and Computer Simulation 24(2): 1–25. doi: 10.1145/2567895
   Web of Science ®Google Scholar
• Feng, Cheng and Jane Hillston. 2014. PALOMA: A process algebra for located Markovian agents. Quantitative evaluation of systems, Florence, Italy: Springer, 2014, pp. 265–280.
   Google Scholar
• Fent, Thomas, Belinda A. Diaz, and Alexia Prskawetz. 2013. Family policies in the context of low fertility and social structure, Demographic Research 29: 963–998. doi: 10.4054/DemRes.2013.29.37
   Web of Science ®Google Scholar
• Gillespie, Daniel T. 1976. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics 22(4): 403–434. doi: 10.1016/0021-9991(76)90041-3
   Web of Science ®Google Scholar
• Godin, Gaston and Gerjo Kok. 1996. The theory of planned behavior: a review of its applications to health-related behaviors, American Journal of Health Promotion 11(2): 87–98. doi: 10.4278/0890-1171-11.2.87
   PubMed Web of Science ®Google Scholar
• Grimm, Volker, Uta Berger, Donald L. DeAngelis, J. G. Polhill, Jarl Giske, and Steven F. Railsback. 2010. The ODD protocol: a review and first update, Ecological Modelling 221(23): 2760–2768. doi: 10.1016/j.ecolmodel.2010.08.019
   Web of Science ®Google Scholar
• Grönninger, Hans, Holger Krahn, Bernhard Rumpe, Martin Schindler, and Steven Völkel. 2007. Textbased Modeling. Mainz: Johannes-Gutenberg-Universität.
   Google Scholar
• Henzinger, Thomas A., Barbara Jobstmann, and Verena Wolf. 2011. Formalisms for specifying markovian population models, International Journal of Foundations of Computer Science 22(04): 823–841. doi: 10.1142/S0129054111008441
   Web of Science ®Google Scholar
• Hills, Thomas and Peter Todd. 2008. Population heterogeneity and individual differences in an assortative agent-based marriage and divorce model (MADAM) using search with relaxing expectations, Journal of Artificial Societies and Social Simulation 11(4): 5.
   Web of Science ®Google Scholar
• Jansen, A. P. J. 1995. Monte Carlo simulations of chemical reactions on a surface with time-dependent reaction-rate constants, Computer Physics Communications 86(1): 1–12. doi: 10.1016/0010-4655(94)00155-U
   Web of Science ®Google Scholar
• John, Mathias, Cédric Lhoussaine, Joachim Niehren, and Adelinde M. Uhrmacher. 2008. The attributed Pi calculus. Computational methods in systems biology, Berlin, Heidelberg: Springer, 2008, pp. 83–102.
   Google Scholar
• John, Mathias, Cédric Lhoussaine, Joachim Niehren, and Adelinde Uhrmacher. 2010. The attributed Pi calculus with priorities, Transactions on Computational Systems Biology 5945(12): 13–76. doi: 10.1007/978-3-642-11712-1_2
   Google Scholar
• John, Mathias, Cédric Lhoussaine, Joachim Niehren, and Cristian Versari. 2011. Biochemical reaction rules with constraints. 20th European Symposium on Programming, Saarbrücken, Germany: Springer, 2011, pp. 338–357.
   Google Scholar
• Klabunde, Anna and Frans Willekens. 2016. Decision-making in agent-based models of migration: state of the art and challenges, European Journal of Population 32(1): 73–97. doi: 10.1007/s10680-015-9362-0
   PubMed Web of Science ®Google Scholar
• Klabunde, Anna, Sabine Zinn, Matthias Leuchter, and Frans Willekens. 2015. An Agent-Based Decision Model of Migration, Embedded in the Life Course—Model Description in ODD+ D Format. Rostock, Germany: Max Planck Institute for Demographic Research.
   Google Scholar
• Klabunde, Anna, Sabine Zinn, Frans Willekens, and Matthias Leuchter. 2017. Multistate modelling extended by behavioural rules: an application to migration, Population Studies 71(S1): S51–S67. doi:10.1080/00324728.2017.1350281.
   PubMed Web of Science ®Google Scholar
• Kravari, Kalliopi and Nick Bassiliades. 2015. A survey of agent platforms, Journal of Artificial Societies and Social Simulation 18(1): 11. doi: 10.18564/jasss.2661
   Web of Science ®Google Scholar
• Luke, Sean, Claudio Cioffi-Revilla, Liviu Panait, Keith Sullivan, and Gabriel Balan. 2005. MASON: A multi-agent simulation environment, Simulation 81(7): 517–527. doi: 10.1177/0037549705058073
   Google Scholar
• Maus, Carsten, Stefan Rybacki, and Adelinde M. Uhrmacher. 2011. Rule-based multi-level modelling of cell biological systems, BMC Systems Biology 5(1): 166. doi: 10.1186/1752-0509-5-166
   PubMed Web of Science ®Google Scholar
• Milner, Robin, Joachim Parrow, and David Walker. 1992. A calculus of mobile processes, I, Information and Computation 100(1): 1–40. doi: 10.1016/0890-5401(92)90008-4
   Web of Science ®Google Scholar
• Noble, Jason, Eric Silverman, Jakub Bijak, Stuart Rossiter, Maria Evandrou, Seth Bullock, Athina Vlachantoni, and Jane Falkingham. 2012. Linked lives: the utility of an agent-based approach to modeling partnership and household formation in the context of social care. Winter simulation conference 2012, Berlin, Germany: Winter Simulation Conference, pp. 93:1–93:12.
   Google Scholar
• Pârvu, Ovidiu, David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders, and Simon Shaw. 2015. Spatial-temporal modelling and analysis of bacterial colonies with phase variable genes, ACM Transactions on Modeling and Computer Simulation 25(2): 13:1–13:25. doi: 10.1145/2742546
   Web of Science ®Google Scholar
• Petre, Marian. 1995. Why looking isn’t always seeing: readership skills and graphical programming, Communications of the ACM 38(6): 33–44. doi: 10.1145/203241.203251
   Web of Science ®Google Scholar
• Philipov, Dimiter, Aart C. Liefbroer, and Jane E. Klobas. 2015. Reproductive Decision-Making in a Macro–Micro Perspective. Dordrecht: Springer Netherlands.
   Google Scholar
• Priami, C. 1995. Stochastic π-calculus, The Computer Journal 38(7): 578–589. doi: 10.1093/comjnl/38.7.578
   Web of Science ®Google Scholar
• R Core Team. 2015. R: A language and environment for statistical computing. Available: https://www.R-project.org/. Vienna, Austria (accessed: September 2017)
   Google Scholar
• Reinhardt, Oliver and Adelinde M. Uhrmacher. 2017. An efficient simulation algorithm for continuous-time demographic agent-based models. Spring simulation multi-conference, Virginia Beach, VA, USA 2017.
   Google Scholar
• Sheppard, Colin J., and Steve Railsback. 2015. Time extension for NetLogo (Version 1.2) [Software].
   Google Scholar
• Steiniger, Alexander, Adelinde M. Uhrmacher, Sabine Zinn, Jutta Gampe, and Frans Willekens. 2014. The role of languages for modeling and simulating continuous-time multi-level models in demography. Winter simulation conference, Savannah, GA, USA: IEEE Press, 2014, pp. 2978–2989.
   Google Scholar
• Theodoropoulos, Georgios, Rob Minson, Roland Ewald, and Michael Lees. 2009. Simulation engines for multi-agent systems. Multi-agent Systems. Simulation and Applications. Boca Raton, Fla.: Taylor & Francis, pp. 77–108.
   Google Scholar
• Todd, Peter M., Francesco C. Billari, and Jorge Simao. 2005. Aggregate age-at-marriage patterns from individual mate-search heuristics, Demography 42(3): 559–574. doi: 10.1353/dem.2005.0027
   PubMed Web of Science ®Google Scholar
• Train, Kenneth. 2009. Discrete Choice Methods with Simulation. Cambridge: Cambridge University Press.
   Google Scholar
• Van Deursen, Arie, Paul Klint, and Joost Visser. 2000. Domain-specific languages: an annotated bibliography, ACM SIGPLAN Notices 35(6): 26–36. doi: 10.1145/352029.352035
   Google Scholar
• Walsh, Stephen J., George P. Malanson, Barbara Entwisle, Ronald R. Rindfuss, Peter J. Mucha, Benjamin W. Heumann, Philip M. McDaniel, Brian G. Frizzelle, Ashton M. Verdery, Nathalie E. Williams, Xiaozheng Yao, and Deng Ding. 2013. Design of an agent-based model to examine population-environment interactions in Nang Rong district, Thailand, Applied Geography 39: 183–198. doi: 10.1016/j.apgeog.2012.12.010
   Web of Science ®Google Scholar
• Warnke, Tom, Anna Klabunde, Alexander M. Steiniger, Frans Willekens, and Adelinde Uhrmacher. 2015. ML3: a language for compact modeling of linked lives in computational demography. Winter simulation conference, Huntington Beach, CA, California, 2015.
   Google Scholar
• Warnke, Tom, Tobias Helms, and Adelinde M. Uhrmacher. 2015. Syntax and semantics of a multi-level modeling language. 3rd ACM SIGSIM conference on principles of advanced discrete simulation, London, UK. New York, NY, USA: ACM, 2015. pp. 133–144.
   Google Scholar
• Warnke, Tom, Oliver Reinhardt, and Adelinde M. Uhrmacher. 2016. Population-based CTMCS and agent-based models. Winter simulation conference, Arlington, VA, USA, 2016, pp. 1253–1264.
   Google Scholar
• Wilensky, Uri. 1999. NetLogo. Evanston, IL: Center for Connected Learning and Computer-Based Modeling, Northwestern University.
   Google Scholar
• Zunino, Roberto, Ɖurica Nikolić, Corrado Priami, Ozan Kahramanoğulları, and Tommaso Schiavinotto. 2015. L—An imperative DSL to stochastically simulate biological systems. Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Cham: Springer International Publishing, pp. 354–374.
   Google Scholar