Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Semantics-based transaction processing: satisfying conflicting objectives
IEEE Parallel & Distributed Technology: Systems & Technology
Supporting Partial Isolation in Flat Transaction
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Correct Execution of Transactions at Different Isolation Levels
IEEE Transactions on Knowledge and Data Engineering
Automatic workflow verification and generation
Theoretical Computer Science
Hi-index | 0.00 |