QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems.

Donghuo Chen, Guangquan Zhang, Jinzhao Wu

Browse the full TASE paper archive.