Tool demo: a contract-oriented middleware
Post date: 17-Apr-2015 13:27:01
A contract-oriented middleware
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.