Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, W. J. Fokkink, R. J. van Glabeek, Anna Ingolfsdottir

Research output: Contribution to journalJournal articleResearchpeer-review

27 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume127
Pages (from-to)26-40
ISSN0890-5401
Publication statusPublished - 1996

Cite this

Aceto, L., Fokkink, W. J., Glabeek, R. J. V., & Ingolfsdottir, A. (1996). Axiomatizing Prefix Iteration with Silent Steps. Information and Computation, 127, 26-40.