Extending MSVL with Semaphore
From MaRDI portal
Publication:2817902
DOI10.1007/978-3-319-42634-1_48zbMath1476.68183OpenAlexW2490513959MaRDI QIDQ2817902
Publication date: 2 September 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-42634-1_48
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
Related Items (2)
Efficient decision procedure for propositional projection temporal logic ⋮ A decision procedure and complete axiomatization for projection temporal logic
Uses Software
Cites Work
This page was built for publication: Extending MSVL with Semaphore