Comparing refinements for failure and bisimulation semantics

H. Eshuis, M.M. Fokkinga

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
Original languageEnglish
Pages (from-to)297-321
JournalFundamenta Informaticae
Volume52
Issue number4
Publication statusPublished - 2002

Cite this