Locating reaction with 2-categories (2005)

by V Sassone, P Sobocinski
Venue:Theor. Comput. Sci