Shape Calculus: Timed Operational Semantics and Well-formedness

Details Shape Calculus: Timed Operational Semantics and Well-formedness Shape Calculus: Timed Operational Semantics and Well-formedness

2010-11-09

arxiv.org/abs/1011.2488v1

Computer Science

Programming Languages

42 pages, 4 figures, extended version of Bartocci, E.; Cacciagrano, D. R.; Di Berardini, M. R.; Merelli, E. & Tesei, L. Timed

Scientific paper

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. Processes can represent molecules or other mobile objects and can be part of networks of processes that move simultaneously and interact in a given geometrical space. The calculus embeds collision detection and response, binding of compatible 3D processes and splitting of previously established bonds. In this work the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved.

Affiliated with

Also associated with

No associations

Rating

Shape Calculus: Timed Operational Semantics and Well-formedness does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Shape Calculus: Timed Operational Semantics and Well-formedness, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Shape Calculus: Timed Operational Semantics and Well-formedness will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-494207