Formalizing a relational model of concurrent programs in a dependently typed environment

István, Donkó [Donkó, István (Típuselmélet), szerző] PhD Informatika Doktori Iskola (ELTE / IK); Ambrus, Kaposi [Kaposi, Ambrus (Típuselmélet), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK); Melinda, Tóth [Tóth, Melinda (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)

Angol nyelvű Absztrakt / Kivonat (Egyéb konferenciaközlemény) Tudományos
    Azonosítók
    Támogatások:
    • Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002) Támogató: EFOP-VEKOP
    • TKP2020-NKA-06(Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Subprogramme)) Támogató: NKFI
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-09-27 22:23