Common Contracts
1 similar null contracts
Behavioural contracts with request-response operationsyMarch 31st, 2010
We now define the operational semantics of both models. We start by observ- ing that the WSCL contract recreply(a, b .C ) is the same as the BPEL contract
