FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Bisimulation Games Played in Fibered Categories

Author: Ichiro Hasuo

Paper Information

Title:Bisimulation Games Played in Fibered Categories
Authors:Ichiro Hasuo
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:bisimulation, logic, game, category theory
Pages:2
Talk:Aug 01 11:10 (Session 31Q)
Paper: