共 6 条
[6]
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
[J].
Distributed and Parallel Databases,
1999, 7
:199-248