CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900571
DOI10.1007/b11938zbMath1274.68189MaRDI QIDQ5900571
Arie Gurfinkel, Marsha Chechik
Publication date: 30 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11938
68Q60: Specification and verification (program logics, model checking, etc.)
03G25: Other algebras related to logic
03B50: Many-valued logic
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
Multi-valued model checking games, Weighted automata and multi-valued logics over arbitrary bounded lattices, Data structures for symbolic multi-valued model-checking, Co-Algebraic Models for Quantitative Spatial Logics, A Weighted μ-Calculus on Words