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]
Abstract is missing.