research
∙
10/13/2022
Directed branching bisimulation via apartness and positive logic
Branching bisimulation is a relation on states of a labelled transition ...
research
∙
01/28/2021