Post date: 17-Apr-2015 13:27:01
Tool demo
A contract-oriented middleware
April 17
Massimo Bartoletti
Dip. Matematica e Informatica - University of Cagliari
Abstract. 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.