Axiomatizing Prefix Iteration with Silent Steps

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

28 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind127
Sider (fra-til)26-40
ISSN0890-5401
StatusUdgivet - 1996

Citationsformater