Sciweavers

IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 7 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan