DMCA

On the π calculus and distributed calculi for co-intuitionistic logic, conference paper presented at the LAM-CONCUR’11 Workshop (2011)

by Gianluigi Bellin
Citations:1 - 1 self