Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic
1995 ◽
Vol 140
(1)
◽
pp. 95-138
◽
1986 ◽
Vol 8
(2)
◽
pp. 244-263
◽
1988 ◽
pp. 121-139
◽
1984 ◽
Vol 6
(2)
◽
pp. 239-253
◽