Transparent categories and categories of transition systems

Yehoshafat Give'on

Browse the full FOCS paper archive.