News‎ > ‎

Tool demo: a contract-oriented middleware

posted Apr 17, 2015, 6:27 AM by Massimo Bartoletti   [ updated Apr 20, 2015, 11:49 AM ]
Tool demo

A contract-oriented middleware

April 17
BETTY meeting

Massimo Bartoletti
Dip. Matematica e Informatica - University of Cagliari

We exploit timed session types to implement a contract-oriented middleware, where distributed modules with compliant protocols can be dynamically composed, and their communications monitored, so to guarantee safe interactions.
Massimo Bartoletti,
Apr 17, 2015, 7:02 AM