We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: A Calculus of Located Entities

Authors: Adriana Compagnoni (Stevens Institute of Technology), Paola Giannini (Università del Piemonte Orientale), Catherine Kim (Stevens Institute of Technology), Matthew Milideo (Stevens Institute of Technology), Vishakha Sharma (Stevens Institute of Technology)
Abstract: We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments.
Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.
Comments: In Proceedings DCM 2013, arXiv:1403.7685
Subjects: Programming Languages (cs.PL); Computational Engineering, Finance, and Science (cs.CE)
ACM classes: D.3.1;D.3.2;D.3.3;B.1.2
Journal reference: EPTCS 144, 2014, pp. 41-56
DOI: 10.4204/EPTCS.144.4
Cite as: arXiv:1404.0084 [cs.PL]
  (or arXiv:1404.0084v1 [cs.PL] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 1 Apr 2014 00:39:01 GMT (93kb,D)

Link back to: arXiv, form interface, contact.