Donghuo Chen, Jinzhao Wu. Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. In Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Julius Stuller, editors, SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings. Volume 3831 of Lecture Notes in Computer Science, pages 207-217, Springer, 2006. [doi]
Abstract is missing.