From linear time to branching time
From MaRDI portal
Publication:5277722
DOI10.1145/1055686.1055689zbMath1367.68195MaRDI QIDQ5277722
Moshe Y. Vardi, Orna Kupferman
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1055686.1055689
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic