My personal CINA page

This page collects basic facts concerning my participation in the CINA project. Please, feel free to send me an email for any further information, and if you need some PDF that you are interested in and cannot access yourself.

Background Material

I here list published papers that contain some background material of mine. Each link is coupled with a short description of the paper's content:

• Using natural metaphors to design pervasive computing systems: International Journal of Pervasive Computing and Communications 7(3),
  2011
• Using chemical-inspired computational fields for applications of pervasive computing: ACM Transactions on Autonomous and Adaptive Systems 6(2), 2011 
• A catalogue of Self-organising Design Patterns: Natural Computing, 2012, online 
• A Linda-style calculus for spatial coordination: COORDINATION 2012
• Basic SAPERE (informal) model: Mobile Networks and Applications, 2012, online
• A self-organisation pattern for anticipative adaptation in steering scenarios: SASO 2012 
• Alchemist: Blazing fast simulator for large scale systems (see also this journal publication: JOS2013)

Current tasks

• Core calculus of computational fields
• Studying behavioural properties (universality, self-stabilisation)
• Advanced self-organisation patterns

Papers

• COORDINATION 2014: This paper provides a result of self-stabilisation for a proper fragment of the field calculus. 
• SCW 2014: This paper connects discrete and continuous models for spatial computing and computational fields, stating universality of the field calculus as of the FOCLASA 2013 paper below.
• SCW 2013: I here present early results on self-stabilisation of computational fields, along with a mapping of functional fields to chemical-like rules. Such results give just an informal idea, which has currently been formalised and submitted for publication.
• FOCLASA 2013: This paper presents a core calculus of computational fields. This has been added with a type system in an extended version under submission.

Talks

At the kickoff meeting in Pisa I gave the following talks

• Presentation of the SAPERE project
• Presentation Glocality: emergent behaviours

At 2014 CINA meeting, Ferruccio Damiani presented this talk

• A type-sound calculus of computational fields talk

Presentation of papers:

• SCW 2013

Future tasks

Feel free to contact me if you want to contribute!

• A tiny process algebra for SAPERE-like pervasive ecosystems
• Formalisation of behaviour and properties of field-like propagation processes
• Agent and Actor calculi (with A.Ricci)