CINA

 Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli)

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

 A type-sound calculus of computational fields (article in journal, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal

 Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli)