Combining state- and event-based semantics to verify highly available applications
| Author: | Peter Zeller, Annette BieniusaORCiD, Arnd Poetzsch-Heffter |
|---|---|
| URL: | https://www.sciencedirect.com/science/article/abs/pii/S0167642321000800 |
| DOI: | https://doi.org/10.1016/j.scico.2021.102687 |
| ISSN: | 1872-7964 |
| Journal: | Science of Computer Programming |
| Publisher: | Elsevier |
| Document Type: | Research Article |
| Language: | English |
| Year of first Publication: | 2021 |
| Release Date: | 2022/05/13 |
| Volume: | 210 |
| Article Number: | 102687 |
| Page Number: | 25 |
| First Page: | 1 |
| Last Page: | 25 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Softwaretechnik |
| Open access state: | Closed Access |
| RPTU: | Kaiserslautern |
| Research funding: | Horizon |
| Created at the RPTU: | Yes |