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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.