@inproceedings{Fokkink_Glabbeek_16,
    address          = {New York City, USA},
    author           = {Fokkink, Wan and van Glabbeek, Robert},
    booktitle        = {Proceedings of the 31st Annual IEEE Symposium on Logic in Computer Science},
    doi              = {10.1145/2933575.2933590},
    keywords         = {structural operational semantics, congruence formats, weak bisimilarity, modal characterisation.},
    month            = jul,
    pages            = {778--787},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9354.pdf},
    publisher        = {ACM},
    title            = {Divide and Congruence {II}: Delay and Weak Bisimilarity},
    year             = {2016}
  }