Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2305.17671 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917795910909952 |
|---|---|
| author | Bisping, Benjamin Jansen, David N. |
| author_facet | Bisping, Benjamin Jansen, David N. |
| contents | We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be used to characterize and decide a wide array of weak behavioral equivalences between stability-respecting branching bisimilarity and weak trace equivalence in one go. To establish correctness, we relate attacker-winning energy budgets and distinguishing sublanguages of Hennessy--Milner logic that we characterize by eight dimensions of formula expressiveness. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_17671 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps Bisping, Benjamin Jansen, David N. Logic in Computer Science Computer Science and Game Theory F.3.1 We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be used to characterize and decide a wide array of weak behavioral equivalences between stability-respecting branching bisimilarity and weak trace equivalence in one go. To establish correctness, we relate attacker-winning energy budgets and distinguishing sublanguages of Hennessy--Milner logic that we characterize by eight dimensions of formula expressiveness. |
| title | Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps |
| topic | Logic in Computer Science Computer Science and Game Theory F.3.1 |
| url | https://arxiv.org/abs/2305.17671 |