Divide and congruence II: from decomposition of modal formulas to preservation of delay and weak bisimilarity

W. Fokkink, R. van Glabbeek

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Divide and congruence II: from decomposition of modal formulas to preservation of delay and weak bisimilarity'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science