Formalizing CCS and π-calculus in Guarded Cubical Agda
author
statement of authorship
Niccolò Veltri, Andrea Vezzosi
publisher
journal volume number month
vol. 131
year of publication
pages
art. 100846
subject term
ISSN
2352-2208
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
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.