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

MLA

Fokkink, Wan, and Rob van Glabbeek. “Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.” Information & Computation, vol. 257, Dec. 2017, pp. 79–113. EBSCOhost, https://doi.org/10.1016/j.ic.2017.10.003.

APA

Fokkink, W., & van Glabbeek, R. (2017). Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Information & Computation, 257, 79–113. https://doi.org/10.1016/j.ic.2017.10.003

Chicago

Fokkink, Wan, and Rob van Glabbeek. 2017. “Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.” Information & Computation 257 (December): 79–113. doi:10.1016/j.ic.2017.10.003.