Extends decision procedure for L_|.| to L_[ ] with finite integer intervals, implemented in {log} and applied to discharge invariance lemmas in an elevator algorithm case study.
In: International Conference on Relational and Algebraic Methods in Computer Science, Springer, pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
This paper compiles and discusses several open problems in the modal logic for gossip protocols that use epistemic formulas.
citing papers explorer
-
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
Extends decision procedure for L_|.| to L_[ ] with finite integer intervals, implemented in {log} and applied to discharge invariance lemmas in an elevator algorithm case study.
-
Open Problems in a Logic of Gossips
This paper compiles and discusses several open problems in the modal logic for gossip protocols that use epistemic formulas.