A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, Jan Friso Groote. A Complete Equational Axiomatization for MPA with String Iteration. Theoretical Computer Science, 211(1-2):339-374, 1999. [doi]

Abstract

Abstract is missing.