full record print

Formalizing CCS and π-calculus in Guarded Cubical Agda

author
statement of authorship
Niccolò Veltri, Andrea Vezzosi
source
publisher
journal volume number month
vol. 131
year of publication
pages
art. 100846
url
ISSN
2352-2208
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
language
inglise
Veltri, N., Vezzosi, A. Formalizing CCS and π-calculus in Guarded Cubical Agda // Journal of logical and algebraic methods in programming (2023) vol. 131, art. 100846. https://doi.org/10.1016/j.jlamp.2022.100846