The Complexity of Bisimilarity and Model Checking in Finitary Diagrams

Markus Bläser, Sagnik Dutta, Samuel Okyay

Inspired by the work of Dubut, Goubault, and Goubault-Larrecq (ICALP 2015) on natural homology, Dubut (RAMiCS 2020) introduces finitary diagrams and studies bisimilarity and diagra…