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
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85146099127&origin=inward&txGid=e753cd9810cba002d855b9a491c660f7
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001022300300001
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise