Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

dc.citation.journalTitleELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
dc.contributor.authorToro, Mauricio
dc.contributor.authorPhilippou, Anna
dc.contributor.authorArboleda, Sair
dc.contributor.authorPuerta, Maria
dc.contributor.authorVelez S, Carlos M.
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupMatemáticas y Aplicacionesspa
dc.creatorToro, Mauricio
dc.creatorPhilippou, Anna
dc.creatorArboleda, Sair
dc.creatorPuerta, Maria
dc.creatorVelez S, Carlos M.
dc.date.accessioned2021-04-12T14:04:21Z
dc.date.available2021-04-12T14:04:21Z
dc.date.issued2016-01-01
dc.description.abstractWe define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.eng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=6577
dc.identifier.doi10.4204/EPTCS.204.7
dc.identifier.issn20752180
dc.identifier.otherWOS;000390261400008
dc.identifier.otherSCOPUS;2-s2.0-85053361264
dc.identifier.urihttp://hdl.handle.net/10784/27703
dc.language.isoengeng
dc.publisherOPEN PUBL ASSOC
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85053361264&doi=10.4204%2fEPTCS.204.7&partnerID=40&md5=47fb723f7b89b1fd0cca2e519a2285c8
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/2075-2180
dc.sourceELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
dc.subjectPROCESS ALGEBRAeng
dc.subjectTRANSMISSIONeng
dc.subjectINDIVIDUALSeng
dc.subjectPOPULATIONSeng
dc.subjectCOLOMBIAeng
dc.subjectDYNAMICSeng
dc.subjectSYSTEMSeng
dc.titleMean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Modelseng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Colecciones