Skip-free unified-star axioms are complete for bisimilarity on any supported, malleable equational theory, generalizing Grabmayer-Fokkink and yielding new probabilistic completeness theorems.
London Mathematical Society Lecture Note Series, Cambridge University Press (1994)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A General Completeness Theorem for Skip-free Star Algebras
Skip-free unified-star axioms are complete for bisimilarity on any supported, malleable equational theory, generalizing Grabmayer-Fokkink and yielding new probabilistic completeness theorems.