Timed Operational Semantics and Well-Formedness of Shape Calculus

Timed Operational Semantics and Well-Formedness of Shape Calculus

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....

Full description

Bibliographic Details
Main Authors: E. Bartocci, D.R. Cacciagrano, M.R. Di Berardini, E. Merelli, L. Tesei
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2010-12-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf
id doaj-efef543acee443f69734ce5ce361a4d4
record_format Article
spelling doaj-efef543acee443f69734ce5ce361a4d42020-11-25T01:13:31ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952010-12-01XX3352Timed Operational Semantics and Well-Formedness of Shape CalculusE. BartocciD.R. CacciagranoM.R. Di BerardiniE. MerelliL. TeseiThe 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. In this paper, 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.http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf
collection DOAJ
language English
format Article
sources DOAJ
author E. Bartocci
D.R. Cacciagrano
M.R. Di Berardini
E. Merelli
L. Tesei
spellingShingle E. Bartocci
D.R. Cacciagrano
M.R. Di Berardini
E. Merelli
L. Tesei
Timed Operational Semantics and Well-Formedness of Shape Calculus
Scientific Annals of Computer Science
author_facet E. Bartocci
D.R. Cacciagrano
M.R. Di Berardini
E. Merelli
L. Tesei
author_sort E. Bartocci
title Timed Operational Semantics and Well-Formedness of Shape Calculus
title_short Timed Operational Semantics and Well-Formedness of Shape Calculus
title_full Timed Operational Semantics and Well-Formedness of Shape Calculus
title_fullStr Timed Operational Semantics and Well-Formedness of Shape Calculus
title_full_unstemmed Timed Operational Semantics and Well-Formedness of Shape Calculus
title_sort timed operational semantics and well-formedness of shape calculus
publisher Alexandru Ioan Cuza University of Iasi
series Scientific Annals of Computer Science
issn 1843-8121
2248-2695
publishDate 2010-12-01
description 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. In this paper, 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.
url http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf
work_keys_str_mv AT ebartocci timedoperationalsemanticsandwellformednessofshapecalculus
AT drcacciagrano timedoperationalsemanticsandwellformednessofshapecalculus
AT mrdiberardini timedoperationalsemanticsandwellformednessofshapecalculus
AT emerelli timedoperationalsemanticsandwellformednessofshapecalculus
AT ltesei timedoperationalsemanticsandwellformednessofshapecalculus
_version_ 1725161835874746368

Similar Items