Login / Signup
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity.
Wan J. Fokkink
Rob J. van Glabbeek
Published in:
Inf. Comput. (2017)
Keyphrases
</>
decomposition method
decomposition algorithm
database
socio technical
modal logic
critical path
tree decomposition
propositional variables