Login / Signup

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

Wan J. FokkinkRob J. van Glabbeek
Published in: Inf. Comput. (2017)
Keyphrases
  • decomposition method
  • decomposition algorithm
  • database
  • socio technical
  • modal logic
  • critical path
  • tree decomposition
  • propositional variables