Zobrazeno 1 - 10
of 3 057
pro vyhledávání: '"Palamidessi, C."'
Publikováno v:
Archivos de Ciencias de la Educación, Vol 13, Iss 15, Pp e063-e063 (2019)
Externí odkaz:
https://doaj.org/article/5aab92f96a024354ad528174729463c3
Publikováno v:
Il Foro Italiano, 1878 Jan 01. 3, 163/164-167/168.
Externí odkaz:
https://www.jstor.org/stable/23085741
Autor:
Ferrucci, F.
Publikováno v:
Il Foro Italiano, 1878 Jan 01. 3, 863/864-865/866.
Externí odkaz:
https://www.jstor.org/stable/23085938
Autor:
Casini, P.
Publikováno v:
Il Foro Italiano, 1896 Jan 01. 21, 1045/1046-1071/1072.
Externí odkaz:
https://www.jstor.org/stable/23098367
Publikováno v:
Il Foro Italiano, 1918 Jan 01. 43, 881/882-885/886.
Externí odkaz:
https://www.jstor.org/stable/23118971
Publikováno v:
Logical Methods in Computer Science, Volume 5, Issue 2 (June 22, 2009) lmcs:1134
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations. We contrast the existing fair
Externí odkaz:
http://arxiv.org/abs/0904.2340
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.
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.
One of our principal aims in this work is to extend the reliable derivation of implementations from specifications –so long pursued in other areas like functionality, concurrency and probability– to include security as well, and in particular qua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::fc003047bcd493713291dbd3e25cab0e
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:2978892
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:2978892