Zobrazeno 1 - 10
of 552
pro vyhledávání: '"Observational equivalence"'
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.
Autor:
Bystrov, Victor
Publikováno v:
Przegląd Statystyczny / Statistical Review. 66(3):183-199
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=855527
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.
Publikováno v:
POPL 2023-50th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2023-50th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2023, Boston, United States. ⟨10.1145/3571223⟩
POPL 2023-50th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2023, Boston, United States. ⟨10.1145/3571223⟩
International audience; Many proofs of interactive cryptographic protocols (e.g., as in Universal Composability) operate by proving the protocol at hand to be observationally equivalent to an idealized specification. While pervasive, formal tool supp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6dcef6efd760812a521af0d634812ad1
https://doi.org/10.1145/3571223
https://doi.org/10.1145/3571223
Autor:
Martín Abadi, Gordon Plotkin
Publikováno v:
LICS
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a706d318ffb0f790ba48260118af096
https://lmcs.episciences.org/8372
https://lmcs.episciences.org/8372
Autor:
Andrew M. Engelhardt
Publikováno v:
American Journal of Political Science. 67:411-425
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0530a8a154ac3b176186146e193b40eb
https://doi.org/10.1111/ajps.12665
https://doi.org/10.1111/ajps.12665
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.
Publikováno v:
International Journal of Foundations of Computer Science. 32:1-35
Linearizability is a commonly accepted consistency condition for concurrent objects. Filipović et al. show that linearizability is equivalent to observational refinement. However, linearizability does not permit concurrent objects to share memory sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e866bcf18df1b2cafd3f9f0f32954d6
https://doi.org/10.1142/s0129054121500015
https://doi.org/10.1142/s0129054121500015