A General Completeness Theorem for Skip-free Star Algebras
Publication Date
Winter 1-25-2025
Conference/Sponsorship/Institution
https://etaps.org/2025/conferences/fossacs/
Description
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.
Type
Conference Paper
Department
Computer Science
Link to published version
https://arxiv.org/abs/2501.15325
Recommended Citation
Kappé, Tobias and Schmid, Todd, "A General Completeness Theorem for Skip-free Star Algebras" (2025). Faculty Conference Papers and Presentations. 91.
https://digitalcommons.bucknell.edu/fac_conf/91
COinS
