Access the full text.
Sign up today, get unlimited access with DeepDyve Pro!
Processes ( CSP ) can be used as a formal basis for verifying the behavioral consistency among abstract and executable processes together with choreographic descriptions. CSP - Based Verification for Web Service ...
Access the full text.
Sign up today, get unlimited access with DeepDyve Pro!