Property-dependent reductions adequate with divergence-sensitive branching bisimilarity

R. Mateescu, A.J. Wijs

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Property-dependent reductions adequate with divergence-sensitive branching bisimilarity'. Together they form a unique fingerprint.

Engineering & Materials Science