A General Completeness Theorem for Skip-free Star Algebras
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915122755141632 |
|---|---|
| author | Kappé, Tobias Schmid, Todd |
| author_facet | Kappé, Tobias Schmid, Todd |
| contents | We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof abstracts an earlier argument due to Grabmayer and Fokkink (LICS'20), and yields new completeness theorems for skip-free process algebras with probabilistic (guarded) branching, while also covering existing completeness results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_15325 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A General Completeness Theorem for Skip-free Star Algebras Kappé, Tobias Schmid, Todd Logic in Computer Science We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof abstracts an earlier argument due to Grabmayer and Fokkink (LICS'20), and yields new completeness theorems for skip-free process algebras with probabilistic (guarded) branching, while also covering existing completeness results. |
| title | A General Completeness Theorem for Skip-free Star Algebras |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2501.15325 |