Raman Kazhamiakin Marco Pistore Analysis of Realizability Conditions for Web Service Choreographies. 61-76 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_5 db/conf/forte/forte2006.html#KazhamiakinP06