Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic.

Donghuo Chen, Jinzhao Wu

Browse the full SOFSEM paper archive.