<p><a href="http://www.doc.ic.ac.uk/~pg/papers/geometric.pdf" rel="noreferrer">Processes in Space</a> by Luca Cardelli and Philippa Gardner is one paper in this direction. It specified a process algebra for describing the evolution of 3D structures. </p>

CC BY-SA 2.5
2010-08-16T20:41:03.557Z
Fantastic reference and appears to be exactly what I was looking for.  Thanks a bunch :)
Gian
CC BY-SA 2.5
2010-08-16T20:16:17.470Z
2010-08-16T20:16:17.470Z
Dave Clarke
<p>Is anyone aware of any process algebraic (or related) formalisms that capture fine-grained location information?  I'm familiar with ambients and bigraphs, which obviously have a location model, but what about attempts to model more concrete location information, such that the location of some agent is expressed within some (real or virtual) coordinate space?</p>

<p>It seems to me that it would be possible to take some existing formalism and enrich it with constructs to model location at some appropriate level of abstraction, but I would hate to reinvent the wheel needlessly if this is reminiscent of previous efforts.</p>

<p>As background, the application domain is essentially biological modeling where the traditional notions of location used in this domain to govern where interactions can occur are not fine-grained enough to capture the properties of interest.</p>

<concurrency><process-algebra><formal-modeling>
Process modeling with fine-grained notions of location
Gian
# Process modeling with fine-grained notions of location

(Asked by: username_0 on 2010-08-16)

Is anyone aware of any process algebraic (or related) formalisms that capture fine-grained location information? I'm familiar with ambients and bigraphs, which obviously have a location model, but what about attempts to model more concrete location information, such that the location of some agent is expressed within some (real or virtual) coordinate space?

It seems to me that it would be possible to take some existing formalism and enrich it with constructs to model location at some appropriate level of abstraction, but I would hate to reinvent the wheel needlessly if this is reminiscent of previous efforts.

As background, the application domain is essentially biological modeling where the traditional notions of location used in this domain to govern where interactions can occur are not fine-grained enough to capture the properties of interest.

**Tags:** concurrency, process-algebra, formal-modeling

---

## 1 answers

### Answer by username_1 on 2010-08-16. Score: 7 | Accepted answer

[Processes in Space](http://www.doc.ic.ac.uk/~pg/papers/geometric.pdf) by Luca Cardelli and Philippa Gardner is one paper in this direction. It specified a process algebra for describing the evolution of 3D structures.

> **Comments:**
> **username_0**: Fantastic reference and appears to be exactly what I was looking for.  Thanks a bunch :)  

---

