| |
In Recent Advances in Applied Mathematics and Computational and Information Sciences, Vol. II (2009), pp. 437-440.
|
| |
Journal of Computer Security, Vol. 3, No. 1. (1995), pp. 5-34.
|
| |
Formal Aspects of Computing (2009)
|
| |
|
| |
Foundations of Software Science and Computational Structures In Foundations of Software Science and Computational Structures, Vol. 3441 (2005), pp. 299-315.
|
| |
Formal Aspects in Security and Trust In Formal Aspects in Security and Trust, Vol. 4691 (2007), pp. 235-249.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 168 (08 February 2007), pp. 91-107.
|
| |
No. TD-2/00. (March 2000)
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 273-276.
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
Communications of the ACM, Vol. 21, No. 8. (August 1978), pp. 666-677.
|
| |
|
| |
|
| |
Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214.
|
| |
Formal Aspects of Computing
|
| |
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on In Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 138-145.
|
| |
In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 1-62.
|
| |
In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227.
|
| |
|
| |
Communications of the ACM, Vol. 36, No. 1. (1993), pp. 78-89.
|
| |
|
| |
Formal Aspects of Computing, Vol. 20, No. 3. (May 2008), pp. 277-294.
|
| |
In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 14-23.
|
| |
Journal of Automated Reasoning, Vol. 36, No. 1. (January 2006), pp. 125-147.
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 36-60.
|
| |
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
In Computer Science Logic, Vol. 4207 (2006), pp. 365-379.
|
| |
In Refinement Techniques in Software Engineering, Vol. 3167 (2006), pp. 220-268.
|
| |
Formal Aspects of Computing, Vol. 15, No. 2-3. (November 2003), pp. 146-181.
|
| |
|
| |
Theoretical Computer Science, Vol. 335, No. 2-3. (2005), pp. 131-146.
|
| |
In PODC '83: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (1983), pp. 131-142.
|
CiteULike
michaelbanks's CiteULike
Search
Export
