Sigma Pi-polycategories, additive linear logic, and process semantics - Craig A. Pastro (CoRR, 2003)

A Language For Multiplicative-additive Linear Logic. - J. Robin B. Cockett; Craig A. Pastro (CTCS, 2004)

The logic of message-passing. - J. Robin B. Cockett; Craig A. Pastro (Sci. Comput. Program., 2009)