Branching bisimilarity with explicit divergence

R.J. Glabbeek, van, S.P. Luttik, N. Trcka

Research output: Contribution to journalArticleAcademicpeer-review

64 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Branching bisimilarity with explicit divergence'. Together they form a unique fingerprint.

Medicine and Dentistry

Mathematics