Sciweavers

Deriving Bisimulation Congruences: A 2-categorical Approach
Recent countries visiting this post
Deriving Bisimulation Congruences: A 2-categorical Approach
us5United States
ru1Russian Federation