Adding Action-Tefinement to a Finite Process Algebra

Luca Aceto, M. Hennesy

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

35 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bind115
Sider (fra-til)179-247
ISSN0890-5401
StatusUdgivet - 1994

Citationsformater