prindi

Formalizing CCS and π-calculus in Guarded Cubical Agda

autor
Veltri, Niccolo
Vezzosi, Andrea
vastutusandmed
Niccolò Veltri, Andrea Vezzosi
allikas
Journal of logical and algebraic methods in programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 131
ilmumisaasta
2023
leheküljed
art. 100846
leitav
https://doi.org/10.1016/j.jlamp.2022.100846
märksõna
teooriad
denotatsioonisemantika
matemaatiline analüüs
rekursiooniteooria
võtmesõna
Ticked cubical type theory
Denotational semantics
π-calculus
Guarded recursion
ISSN
2352-2208
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
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