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
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Matemaatika
Arvutiteadus
kategooria (alam)
Matemaatika. Loogika
Arvutiteadus. Arvutusteooria ja matemaatika
Matemaatika. Teoreetiline arvutiteadus
Arvutiteadus. Tarkvara
kvartiil
Q2
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