Sciweavers

COORDINATION
2006
Springer
15 years 17 days ago
A Logical View of Choreography
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
Carlo Montangero, Laura Semini