Guía de Atención Clínica Integral del Paciente con Dengue http://calisaludable.cali.gov.co/saludPublica/2010_Dengue/protocolos_guias_del_INS_y_del_MPS/Guia_Dengue_2010.pdf Number of Reported Cases of Dengue and Dengue Hemorrhagic Fever (DHF) in the Americas, by Country http://new.paho.org/hq/index.php?option=com_content&task=blogcategory&id=1221&Itemid=2481 Online PRISM documentation http://www.prismmodelchecker.org/doc/ S. Arboleda O.N. Jaramillo A.T. Peterson 2012 Spatial and temporal dynamics of Aedes aegypti breeding sites in Bello, Colombia Journal of Vector Ecology 37 1 37–48 10.1111/j.1948-7134.2012.00198.x Sair Arboleda Nicolas Jaramillo O. A. Townsend Peterson 2009 Mapping Environmental Dimensions of Dengue Fever Transmission Risk in the Aburrá Valley, Colombia International Journal of Environmental Research and Public Health 6 12 3040 10.3390/ijerph6123040 R. Barbuti A. Maggiolo-Schettini P. Milazzo G. Pardini 2011 Spatial Calculus of Looping Sequences Theoretical Computer Science 412 43 5976–6001 10.1016/j.tcs.2011.01.020 Roberto Barbuti Andrea Maggiolo-Schettini Paolo Milazzo Angelo Troina 2006 A Calculus of Looping Sequences for Modelling Microbiological Systems Fundamenta Informaticae 72 1-3 21–35 Thomas Anung Basuki Antonio Cerone Roberto Barbuti Andrea Maggiolo-Schettini Paolo Milazzo Elisabetta Rossi 2010 Modelling the Dynamics of an Aedes albopictus Population Proceedings of AMCA-POP'10 EPTCS 33 18–36 10.4204/EPTCS.33.2 D. Besozzi P. Cazzaniga D. Pescini G. Mauri 2008 Modelling metapopulations with stochastic membrane systems BioSystems 91 3 499–514 10.1016/j.biosystems.2006.12.011 S. Bratt P. W. Gething O. J. Brady J. P. Messina A. W. Farlow C. L. Moyes J. M. Drake J. S. Brownstein A. G. Hoen Osman Sankoh Monica F. Myers Dylan B. George Thomas Jaenisch G. R. William Wint Cameron P. Simmons Thomas W. Scott Jeremy J. Farrar Simon I. Hay 2013 The global distribution and burden of dengue Nature 496 504–507 10.1038/nature12060 Qiuwen Chen Fei Ye Weifeng Li 2009 Cellular-automata-based ecological and ecohydraulics modelling Journal of Hydroinformatics 11 3/4 252–272 10.2166/hydro.2009.026 Frédéric Didier Thomas A. Henzinger Maria Mateescu Verena Wolf 2010 SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks CoRR abs/1005.2819 10.1109/QEST.2010.33 Peter Drábik Andrea Maggiolo-Schettini Paolo Milazzo 2011 Modular Verification of Interactive Systems with an Application to Biology Scientific Annals of Computer Science 21 1 39–72 10.1016/j.entcs.2010.12.006 S. C. Fu G. Milne 2004 A Flexible Automata Model for Disease Simulation Proceedings of ACRI'04 LNCS 3305 Springer 642–649 10.1007/978-3-540-30479-1_66 Ronald L. Graham Donald E. Knuth Oren Patashnik 1994 Concrete Mathematics: A Foundation for Computer Science 2nd Addison-Wesley Longman Publishing Co., Inc.
Boston, MA, USA
10.1063/1.4822863
Jane Hillston Mirco Tribastone Stephen Gilmore 2012 Stochastic Process Algebras: From Individuals to Populations Computing Journal 55 7 866–881 10.1093/comjnl/bxr094 Jetty Kleijn Maciej Koutny Grzegorz Rozenberg 2011 Petri Nets for Biologically Motivated Computing Scientific Annals of Computer Science 21 2 199–225 Thomas Kurtz 1970 Solutions of Ordinary Differential Equations as Limits of Pure Jump Markov Processes Journal of Applied Probability 7 1 10.2307/3212147 C. McCaig R. Norman C. Shankland 2008 Process Algebra Models of Population Dynamics Proceedings of AB'08 LNCS 5147 Springer 139–155 10.1007/978-3-540-85101-1_11 Chris McCaig Rachel Norman Carron Shankland 2011 From individuals to populations: A mean field semantics for process algebra Theoretical Computer Science 412 17 1557–1580 10.1016/j.tcs.2010.09.024 M. Solari H.G. Otero 2010 Stochastic eco-epidemiological model of dengue disease transmission by Aedes aegypti mosquito Mathematical Biosciences 223 1 32–46 10.1016/j.mbs.2009.10.005 Jorge Pérez Camilo Rueda 2008 Non-determinism and Probabilities in Timed Concurrent Constraint Programming Proceedings of ICLP'08 LNCS 5366 677–681 10.1007/978-3-540-89982-2_56 Anna Philippou Mauricio Toro 2013 Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. Proceedings of MOKMASD'13 LNCS 8368 Springer 345–361 10.1007/978-3-319-05032-4_25 Anna Philippou Mauricio Toro Margarita Antonaki 2013 Simulation and Verification for a Process Calculus for Spatially-Explicit Ecological Models Scientific Annals of Computer Science 23 1 119–167 10.7561/SACS.2013.1.119 G. Michele Pinna Andrea Saba 2008 An Event Based Semantics of P Systems Scientific Annals of Computer Science 18 99–127 Martin L. Puterman 1994 Markov Decision Processes: Discrete Stochastic Dynamic Programming 1st John Wiley & Sons, Inc.
New York, NY, USA
10.1002/9780470316887
Neda Saeedloei Gopal Gupta 2014 Timed PI Calculus Martín Abadi Alberto Lluch Lafuente Trustworthy Global Computing Lecture Notes in Computer Science 8358 Springer International Publishing 119–135 10.1007/978-3-319-05119-2_8 D. J. T. Sumpter G. B. Blanchard D. S. Broomhear 2001 Ants and Agents: a Process Algebra Approach to Modelling Ant Colony Behaviour Bulletin of Mathematical Biology 63 951–980 10.1006/bulm.2001.0252 Chris Tofts 1994 Processes with probabilities, priority and time Formal Aspects of Computing 6 5 536–564 10.1007/BF01211867 Mauricio Toro Anna Philippou Sair Arboleda Carlos Vélez María Puerta 2015 Mean-field semantics for a Process Calculus for Spatially-Explicit Ecological Models Technical Report Department of Informatics and Systems, Universidad Eafit Available at http://blogs.eafit.edu.co/giditic-software/2015/10/01/mean-field/ Mauricio Toro Anna Philippou Christina Kassara Spyros Sfenthourakis 2014 Synchronous Parallel Composition in a Process Calculus for Ecological Models Proceedings of ICTAC'14 424–441 10.1007/978-3-319-10882-7_25 Mirco Tribastone Stephen Gilmore Jane Hillston 2012 Scalable Differential Analysis of Process Algebra Models IEEE Transactions on Software Engineering 38 1 205–219 10.1109/TSE.2010.82 Hyun Mo Yang Cláudia Pio Ferreira 2008 Assessing the efects of vector control on dengue transmission Applied Mathematics and Computation 198 401–413 10.1016/j.amc.2007.08.046