An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination

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]

Authors

Jingtao Yang

This author has not been identified. Look up 'Jingtao Yang' in Google

Corina Cîrstea

Identified as Corina Cîrstea

Peter Henderson

This author has not been identified. Look up 'Peter Henderson' in Google