Formalizing CCS and π-calculus in Guarded Cubical Agda
author
Veltri, Niccolo
Vezzosi, Andrea
statement of authorship
Niccolò Veltri, Andrea Vezzosi
source
Journal of logical and algebraic methods in programming
publisher
Elsevier
journal volume number month
vol. 131
year of publication
2023
pages
art. 100846
url
https://doi.org/10.1016/j.jlamp.2022.100846
subject term
teooriad
denotatsioonisemantika
matemaatiline analüüs
rekursiooniteooria
keyword
Ticked cubical type theory
Denotational semantics
π-calculus
Guarded recursion
ISSN
2352-2208
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
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
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise