G.: Contract-Driven Implementation of Choreographies (0)

by M Bravetti, I Lanese, Zavattaro
Venue:Proc. TGC 2008: LNCS 5474