Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants

Susan Darling Urban, Andrew Courter, Le Gao, Mary Shuman. Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants. In Frank Olken, Monica Palmirani, Davide Sottara, editors, Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings. Volume 7018 of Lecture Notes in Computer Science, pages 140-154, Springer, 2011. [doi]

Authors

Susan Darling Urban

This author has not been identified. Look up 'Susan Darling Urban' in Google

Andrew Courter

This author has not been identified. Look up 'Andrew Courter' in Google

Le Gao

This author has not been identified. Look up 'Le Gao' in Google

Mary Shuman

This author has not been identified. Look up 'Mary Shuman' in Google