On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems. - Gianluigi Bellin; Alessandro Menti (Fundam. Informaticae, 2014)