Runtime Enforcement of Data-centric Properties for Concurrent Service-Based Applications.

Guoquan Wu, Jun Wei, Hua Zhong, Tao Huang

Browse the full ICWS paper archive.