Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity☆
Under an Elsevier user license
open archive
Keywords
Structural operational semantics
Congruence formats
Weak bisimilarity
Modal characterisation
Cited by (0)
- 1
NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.
© 2017 Elsevier Inc.