Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85146099127&origin=inward&txGid=e753cd9810cba002d855b9a491c660f7
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001022300300001
Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustest
Lorents, Peeter
Arvutustehnika ja Andmetöötlus
1990
/
1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43