tag : CINA
10 publications
Programming with event loops and control loops – From actors to agents (2016) — Alessandro Ricci
A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, 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
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
A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (2013) — Alessandro Ricci, Andrea Santi
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (2013) — Alessandro Ricci, Andrea Santi