Result 1 to 10 of 10 total
Specifying authentication using signal events in CSP (English)
Computers & Security 28, No. 5, 310-324 (2009).
1
Analysing the woo-lam protocol using CSP and rank functions. (English)
J. Res. Pract. Inf. Technol. 38, No. 1 (2006).
2
Specifying authentication using signal events in CSP. (English)
Feng, Dengguo (ed.) et al., Information security and cryptology. First SKLOIS conference, CISC 2005, Beijing, China, December 15‒17, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30855-5/pbk). Lecture Notes in Computer Science 3822, 63-74 (2005).
3
Specifying authentication using signal events in CSP (English)
CISC, 63-74 (2005).
4
Analysing the woo-lam protocol using CSP and rank functions (English)
WOSIS, 3-12 (2005).
5
As we May think (Reprint). (English)
Interactions 3, No. 2, 35-46 (1996).
6
Towards an introductory formal programming course (English)
SIGCSE, 121-125 (1994).
7
Transforming recursive programs for execution on parallel machines. (English)
Functional programming languages and computer architecture, 2nd Conf., Nancy/France 1985, Lect. Notes Comput. Sci. 201, 350-367 (1985).
8
Transforming recursive programs for execution on parallel machines (English)
FPCA, 350-367 (1985).
9
As we May think (English)
The Atlantic Monthly 176, No. 1, 101-108 (1945).
10
Result 1 to 10 of 10 total
Start
Contact
Print
General Help
