scientific article; zbMATH DE number 7278098
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2017.26zbMath1491.68109arXiv1710.05633MaRDI QIDQ5136318
Rüdiger Ehlers, Bernd Finkbeiner
Publication date: 25 November 2020
Full work available at URL: https://arxiv.org/abs/1710.05633
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Distributed systems (68M14)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Space bounded computations: Review and new separation results
- Symmetric and economical solutions to the mutual exclusion problem in a distributed system
- Parameterized Synthesis
- Bounded Synthesis
- Alternation
- Verification of Open Systems
- Automated Technology for Verification and Analysis