Jingtao Yang Corina Cîrstea Peter Henderson An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. 446-451 2005 conf/eh/2005 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.14 db/conf/qsic/qsic2005.html#YangCH05