tag : CINA
10 publications
A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal Programming with event loops and control loops – From actors to agents (article in journal, 2016) — Alessandro Ricci Type-based Self-stabilisation for Computational Fields (article in journal, 2015) — Ferruccio Damiani, Mirko Viroli Space-Time Programming (article in journal, 2015) — Jacob Beal, Mirko Viroli Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings, 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal Aggregate Programming for the Internet of Things (article in journal, 2015) — Jacob Beal, Danilo Pianini, Mirko Viroli Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings, 2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini A Calculus of Self-stabilising Computational Fields (paper in proceedings, 2014) — Mirko Viroli, Ferruccio Damiani From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter, 2013) — Alessandro Ricci, Andrea Santi Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings, 2013) — Alessandro Ricci, Andrea Santi