Contract-Driven Implementation of Choreographies

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00945-7_1 ◽

2009 ◽

pp. 1-18 ◽

Cited By ~ 16

Author(s):

Mario Bravetti ◽

Ivan Lanese ◽

Gianluigi Zavattaro

Download Full-text