Author:
Benedikt Michael,Griffin Timothy,Libkin Leonid
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Seam: provably safe local edits on graphs;Proceedings of the ACM on Programming Languages;2017-10-12
2. Data Consistency Enforcement on Business Process Transactions;Service-Oriented Computing;2013
3. Proactive Enforcement of Data Consistency by Business Processes;2012 19th Asia-Pacific Software Engineering Conference;2012-12
4. Preservation of Integrity Constraints by Workflow;On the Move to Meaningful Internet Systems: OTM 2011;2011
5. Concurrent Checking of Global Cross-Database Integrity Constraints;IFIP Advances in Information and Communication Technology;2003