| |
|
| |
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction In Lecture Notes in Computer Science, Vol. 2297 (2002), pp. 89-150.
|
| |
Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392.
|
| |
In 1st IEEE Computer Security Foundations Workshop (CSFW '88) (1988), pp. 98-111.
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50.
|
| |
Communications of the ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
|
| |
|
| |
|
| |
|
| |
3rd IEEE Computer Security Foundations Workshop (CSFW '90) In 3rd IEEE Computer Security Foundations Workshop (CSFW '90) (1990), pp. 128-138.
|
| |
|
| |
Proceedings of the 1987 IEEE Symposium on Security and Privacy In Proceedings of the 1987 IEEE Symposium on Security and Privacy, Vol. 0 (1987), pp. 60-66.
|
| |
|
| |
IEEE Transactions in Software Engineering, Vol. 22, No. 1. (1996), pp. 53-67.
|
| |
|
| |
Proceedings of the 1997 IEEE Symposium on Security and Privacy In Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy (1997), pp. 94-102.
|
| |
Bell System Technical Journal, Vol. 27, No. 3. (July 1948), pp. 379-423.
|
| |
In Proceedings of the 1994 IEEE Symposium on Security and Privacy (1994), pp. 79-93.
|
| |
No. CMU-CS-99-130. (May 1999)
|
| |
Journal of Computer Security, Vol. 1, No. 4. (1992), pp. 385-411.
|
| |
In 4th IEEE Computer Security Foundations Workshop (CSFW '91) (1991), pp. 89-97.
|
| |
In Proceedings of the 1989 IEEE Symposium on Security and Privacy (1989), pp. 242-247.
|
| |
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
In Theoretical Aspects of Computing -- ICTAC 2008, Vol. 5160 (2008), pp. 141-155.
|
| |
No. EWD1240a. (January 1998)
|
| |
In UTP 2006, Vol. 4010 (2006), pp. 200-216.
|
CiteULike
michaelbanks's CiteULike
Search
Export
