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]

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Jan Friso Groote

Identified as Jan Friso Groote