Event-driven Adaptation in COP

by Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Published 2016-06-01

Predicting global usages of resources endowed with local policies

by Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
Published 2011-07-01

Safer in the Clouds (Extended Abstract)

by Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
Published 2010-10-01

A Context-Oriented Extension of F#

by Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Published 2015-12-01

A Step Towards Checking Security in IoT

by Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Published 2016-08-01

From Orchestration to Choreography through Contract Automata

by Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
Published 2014-10-01

Typing Context-Dependent Behavioural Variation

by Pierpaolo Degano, Letterio Galletta, Gian-Luigi Ferrari, Gianluca Mezzetti
Published 2013-02-01