Adding Action-Tefinement to a Finite Process Algebra

Luca Aceto, M. Hennesy

Research output: Contribution to journalJournal articleResearchpeer-review

34 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume115
Pages (from-to)179-247
ISSN0890-5401
Publication statusPublished - 1994

Cite this