Codensity Games for Bisimilarity

MLA

Yuichi Komorida, et al. “Codensity Games for Bisimilarity.” 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), June 2019. EBSCOhost, https://doi.org/10.1109/lics.2019.8785691.

APA

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, & Ichiro Hasuo. (2019). Codensity Games for Bisimilarity. 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/lics.2019.8785691

Chicago

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, and Ichiro Hasuo. 2019. “Codensity Games for Bisimilarity.” 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), June. doi:10.1109/lics.2019.8785691.