Report - Concurrency 3 - CCS - Syntax and transitions, …pauillac.inria.fr/~leifer/teaching/mpri-concurrency-2005/c3/cours.pdf · Logic languages like Prolog and λ Prolog The characteristics

Please pass captcha verification before submit form