Contract-Driven Implementation of Choreographies (2009)

by M Bravetti, I Lanese, G Zavattaro
Venue:Trustworthy Global Computing, 4th Symposium, TGC 2008, Revised Selected Papers, volume 5474 of Lecture Notes in Computer Science