tag : CINA

7 publications / Mirko Viroli
page_white_acrobat A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
page_white_acrobat Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
page_white_acrobat Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
page_white_acrobat Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
page_white_acrobat Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
page_white_acrobat Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
page_white_acrobat A Calculus of Self-stabilising Computational Fields (COORDINATION 2014) — Mirko Viroli, Ferruccio Damiani
[ tag cloud  /  Mirko Viroli  /  publications ]