The Complexity of Bisimilarity and Model Checking in Finitary Diagrams.

Markus Blser, Sagnik Dutta, Samuel Okyay

Browse the full ICALP paper archive.