Choreography and Orchestration Conformance for System Design (2006)

by N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
Venue:In Proc. of Coordination’06, volume 4038 of LNCS