tag : CINA

A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal

Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci

Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli

Space-Time Programming (2015) — Jacob Beal, Mirko Viroli

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal

Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini

A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani

From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (2013) — Alessandro Ricci, Andrea Santi

Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (2013) — Alessandro Ricci, Andrea Santi