DMCA

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity

by Wan Fokkink , Rob Van Glabbeek , Paulien De Wind
Venue:Inf. Comput
Citations:3 - 0 self