Communication and concurrency
Fixed points in free process algebras: Part I
Theoretical Computer Science
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
Complete systems of B -rational identities
Theoretical Computer Science
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Completeness of Park induction
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
The equational logic of fixed points
Theoretical Computer Science
On a question of A. Salomaa: the equational theory of regular expression
Theoretical Computer Science
Information and Computation
Two Complete Axiom Systems for the Algebra of Regular Events
Journal of the ACM (JACM)
Models of nondeterministic regular expressions
Journal of Computer and System Sciences
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Mathematical Structures in Computer Science
Journal of Computer and System Sciences
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
Iteration Grove Theories with Applications
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Is observational congruence on μ-expressions axiomatisable in equational Horn logic?
Information and Computation
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
The equational properties of the least fixed point operation on (ω-)continuous functions on (ω-)complete partially ordered sets are captured by the axioms of iteration algebras, or iteration theories. We show that the equational laws of the binary supremum operation in conjunction with the least fixed point operation on (ω-)continuous functions on (ω-)complete semilattices have a finite axiomatization over the equations of iteration algebras. As a byproduct of this relative axiomatizability result, we obtain complete infinite equational, and finite implicational axiomatizations.