Deriving Bisimulation Congruences using 2-categories (2003)

Cached

Download Links

by Vladimiro Sassone , Pawel Sobocinski , Pawe̷l Soboci Ński
Citations:29 - 10 self