Probabilistic - Session Types and their Mechanisation

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

is it possible to develop a theory of probabilistic session types and mechanise it in the Coq proof assistant?
AkronymPROBABILIST
StatusIkke startet
Effektiv start/slut dato01/04/202530/10/2028

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.