Sobocinski, Pawel
-
BRICS Report Series No. 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories - Articles
Deriving Bisimulation Congruences: 2-Categories vs. Precategories
Abstract PDF -
BRICS Report Series No. 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence - Articles
Syntactic Formats for Free: An Abstract Approach to Process Equivalence
Abstract PDF -
BRICS Report Series No. 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting - Articles
Congruences for Contextual Graph-Rewriting
Abstract PDF -
BRICS Report Series No. 31 (2003): RS-31 Adhesive Categories - Articles
Adhesive Categories
Abstract PDF