The Web Services Choreography Description Language (WS-CDL)

March 2014

An XSLT transformation from WS-CDL Specification to Promela Process

March 2014