Abstract | ||
---|---|---|
The errors of data inconsistency occur in a concurrent system when some concurrent operations are conducted improperly. The model-checking technique is widely used to detect them based on the state transition graph. However, the state space explosion problem is the biggest obstacle for this technique, since the state transition graph is based on the interleaving semantics that can result in a rapi... |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/TII.2017.2698640 | IEEE Transactions on Industrial Informatics |
Keywords | Field | DocType |
Petri nets,Concurrent computing,Program processors,Informatics,Error analysis,Semantics | Information system,Petri net,Computer science,Concurrency,Theoretical computer science,Process architecture,Prefix,Concurrent computing,State space,Semantics | Journal |
Volume | Issue | ISSN |
13 | 6 | 1551-3203 |
Citations | PageRank | References |
4 | 0.44 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dongming Xiang | 1 | 9 | 2.21 |
GuanJun Liu | 2 | 176 | 26.24 |
Chun-Gang Yan | 3 | 62 | 15.97 |
Changjun Jiang | 4 | 1350 | 117.57 |