A Formal Modeling Method for Grid Workflow Based on Concurrent Transaction Logic

2011 ◽  
Vol 6 (2) ◽  
pp. 59-69 ◽  
Author(s):  
Zhilin Feng ◽  
Yanming Ye ◽  
Xiaoming Liu
Keyword(s):  
Modeling Method ◽  
Formal Modeling ◽  
Grid Workflow ◽  
Concurrent Transaction ◽  
Transaction Logic

scholarly journals Concurrent Transaction Logic with Priority and Timing Constraints

2021 ◽  
Author(s):  
Jiwen Ge
Keyword(s):  
Timing Constraints ◽  
Concurrent Transaction ◽  
Transaction Logic

Concurrent Transaction Logic with Priority and Timing Constraints

scholarly journals Concurrent Transaction Logic with Priority and Timing Constraints

2021 ◽  
Author(s):  
Jiwen Ge
Keyword(s):  
Timing Constraints ◽  
Concurrent Transaction ◽  
Transaction Logic

Concurrent Transaction Logic with Priority and Timing Constraints

Sign in / Sign up

Export Citation Format

Share Document