Simulation and Verification in a Process Calculus for Spatially-Explicit

Vista sencilla de ítem
dc.citation.journalTitleScientific Annals Of Computer Scienceeng
dc.contributor.authorTORO, MAURICIO
dc.contributor.departmentUniversidad EAFIT. Departamento de Ingeniería de Sistemasspa
dc.contributor.researchgroupI+D+I en Tecnologías de la Información y las Comunicacionesspa
dc.creatorTORO, MAURICIO
dc.date.accessioned2021-04-12T20:55:52Z
dc.date.available2021-04-12T20:55:52Z
dc.date.issued2014-06-01
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=13413
dc.identifier.issn18438121
dc.identifier.issn22482695
dc.identifier.urihttp://hdl.handle.net/10784/28689
dc.language.isoengeng
dc.publisherAlexandru Ioan Cuza University of Iasi
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/1843-8121
dc.sourceScientific Annals Of Computer Science
dc.titleSimulation and Verification in a Process Calculus for Spatially-Expliciteng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Colecciones

Artículos (GIDITIC)