Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Bisimulation and Modal Equivalence

Analysis of bisimulation as a notion of behavioral equivalence for transition systems and its relationship to modal indistinguishability.