Coordination Via Types in an Event-Based Framework.

GianLuigi Ferrari Roberto Guanciale Daniele Strollo Emilio Tuosto Coordination Via Types in an Event-Based Framework. 66-80 2007 conf/forte/2007 FORTE http://dx.doi.org/10.1007/978-3-540-73196-2_5 db/conf/forte/forte2007.html#FerrariGST07