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
märksõna
ISSN
2352-2208
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
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