Craig A. Pastro

	2009
4		J. Robin B. Cockett, Craig A. Pastro: The logic of message-passing. Sci. Comput. Program. 74(8): 498-533 (2009)
	2007
3		J. Robin B. Cockett, Craig A. Pastro: The logic of message passing CoRR abs/math/0703713: (2007)
	2005
2		J. Robin B. Cockett, Craig A. Pastro: A Language For Multiplicative-additive Linear Logic. Electr. Notes Theor. Comput. Sci. 122: 23-65 (2005)
	2003
1		Craig A. Pastro: \Sigma\Pi-polycategories, additive linear logic, and process semantics CoRR math.CT/0312422: (2003)

Coauthor Index

1

J. Robin B. Cockett

[2] [3] [4]