Zobrazeno 1 - 10 of 185 pro vyhledávání: '"Roscoe, A.W."'
1
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.
2
Akademický článek
Revivals, stuckness and the hierarchy of CSP models
Autor: Roscoe, A.W.
Publikováno v: In Journal of Logic and Algebraic Programming 2009 78(3):163-190
Zobrazit plný text záznamu
3
Akademický článek
Authenticating ad hoc networks by comparison of short digests
Autor: Nguyen, L.H., Roscoe, A.W.
Publikováno v: In Information and Computation 2008 206(2):250-271
Zobrazit plný text záznamu
4
Akademický článek
Confluence Thanks to Extensional Determinism
Autor: Roscoe, A.W.
Publikováno v: In Electronic Notes in Theoretical Computer Science 29 September 2006 162:305-309
Zobrazit plný text záznamu
5
Akademický článek
A Taxonomy of Web Services Using CSP
Autor: Momtahan, Lee, Martin, Andrew, Roscoe, A.W.
Publikováno v: In Electronic Notes in Theoretical Computer Science 31 May 2006 151(2):71-87
Zobrazit plný text záznamu
6
Akademický článek
On the Relationship Between Web Services Security and Traditional Protocols
Autor: Kleiner, E., Roscoe, A.W.
Publikováno v: In Electronic Notes in Theoretical Computer Science 12 May 2006 155:583-603
Zobrazit plný text záznamu
7
Akademický článek
Machine-Verifiable Responsiveness
Autor: Reed, J.N., Roscoe, A.W., Sinclair, J.E.
Publikováno v: In Electronic Notes in Theoretical Computer Science 14 January 2006 145:185-200
Zobrazit plný text záznamu
8
Akademický článek
The timed failures — Stability model for CSP
Autor: Reed, G.M., Roscoe, A.W.
Publikováno v: In Theoretical Computer Science 1999 211(1):85-127
Zobrazit plný text záznamu
9
Akademický článek
Proving security protocols with model checkers by data independence techniques.
Autor: Roscoe, A.W., Broadfoot, P.J.
Publikováno v: Journal of Computer Security. 1999, Vol. 7 Issue 2/3, p147. 44p. 1 Diagram.
Zobrazit plný text záznamu
10
A mathematical theory of communicating processes
Autor: Roscoe, A, Roscoe, A.W.
(Brief abstract written by the author in 2011 since I don't have the original to hand.)This thesis introduced much of the theory for Hoare's CSP, including the failures and failures-divergences model and methods of proving properties of processes bas
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1064::e9ecbaf283e73c3ff72bc630609baaf5
https://ora.ox.ac.uk/objects/uuid:ed4e2289-f817-4851-868a-00e2c4f48db5
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje