Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Pitsiladis, Georgios V."'
Publikováno v:
EPTCS 410, 2024, pp. 53-68
The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that c
Externí odkaz:
http://arxiv.org/abs/2410.23759
In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frameworks), but following a common specification; in particular, we examin
Externí odkaz:
http://arxiv.org/abs/2211.01341
Publikováno v:
Journal of Logic & Computation; Jul2024, Vol. 34 Issue 5, p977-1000, 24p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.