Formalizing CCS and π-calculus in Guarded Cubical Agda
vastutusandmed
Niccolò Veltri, Andrea Vezzosi
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 131
ilmumisaasta
leheküljed
art. 100846
ISSN
2352-2208
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
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.