|
Search the dblp DataBase
Donghuo Chen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jianmin Jiang, Jinzhao Wu, Donghuo Chen
Symmetry in event structures. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:1850-1851 [Conf]
- Donghuo Chen, Jinzhao Wu
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. [Citation Graph (0, 0)][DBLP] SOFSEM, 2006, pp:207-217 [Conf]
- Donghuo Chen, Jinzhao Wu
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:23-38 [Journal]
- Donghuo Chen, Guangquan Zhang, Jinzhao Wu
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. [Citation Graph (0, 0)][DBLP] TASE, 2007, pp:241-250 [Conf]
Search in 0.001secs, Finished in 0.001secs
|