Jingtao Yang, Corina Cîrstea, Peter Henderson. An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. In 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA. pages 446-451, IEEE Computer Society, 2005. [doi]
@inproceedings{YangCH05:0, title = {An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination}, author = {Jingtao Yang and Corina Cîrstea and Peter Henderson}, year = {2005}, doi = {10.1109/QSIC.2005.14}, url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.14}, tags = {semantics, formal semantics, web service, web services, operational semantics}, researchr = {https://researchr.org/publication/YangCH05%3A0}, cites = {0}, citedby = {0}, pages = {446-451}, booktitle = {2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2399-4}, }