Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _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 |