| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
Proceedings of the IEEE, Vol. 63, No. 9. (1975), pp. 1278-1308.
|
| |
|
| |
|
| |
In 10th International Workshop on Distributed Algorithms (WDAG 96, Vol. 1151 (1996), pp. 1-17.
|
| |
|
| |
In Proceedings of the 2002 IEEE Symposium on Security and Privacy (May 2002), pp. 114-130.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science In European Symposium on Algorithms, Vol. 4158 (2006), pp. 456-467.
|
| |
|
| |
|
| |
In Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference (2001), pp. 29-42.
|
| |
|
| |
|
| |
In Second Workshop on Non-Silicon Computing (NSC) (June 2003)
|
| |
|
| |
Contemporary Mathematics In Categories in Computer Science and Logic, Vol. 92 (1989), pp. 137-199.
|
| |
In Handbook of Algebra, Vol. 1 (1996), pp. 528-576.
|
| |
Advances in Mathematics, Vol. 88 (1991), pp. 55-112.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (2004), pp. 34-44.
|
| |
In In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (1995), pp. 372-385.
|
| |
In In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, Vol. 2395 (2000), pp. 268-332.
|
| |
|
| |
In In ACM Symposium on Theory of Computing (1997), pp. 654-663.
|
| |
In In Proceedings of the 21st ACM Symposium on Applied Computing - SAC 2006 (2006), pp. 429-433.
|
| |
|
| |
In Proc. 12th Intl. Euro-Par Conference, Euro-Par’06 (2005), pp. 549-558.
|
| |
|
| |
ACM Transactions on Computer Systems, Vol. 16 (1998), pp. 133-169.
|
| |
|
| |
|
| |
In In Proceedings of the IEEE Workshop on Hot Topics in System Dependability (HotDep (2007)
|
| |
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), 240.
|
| |
|
| |
Distributed Computing, Vol. 19, No. 2. (October 2006), pp. 79-103.
|
| |
In DSN '04: Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN'04) (2004)
|
| |
In HotDep'07: Proceedings of the 3rd workshop on on Hot Topics in System Dependability (2007)
|
| |
In LADIS '08: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (2008), pp. 1-6.
|
| |
In PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing (2007), pp. 398-407.
|
| |
ACM Transactions on Information and System Security, Vol. 6 (2000)
|
| |
In In Proceedings of the 1996 IEEE Symposium on Security and Privacy (1996), pp. 164-173.
|
| |
|
| |
In in Computer Science Today, Vol. 1000 (0), pp. 426-440.
|
| |
ACM Transactions on Computer Systems, Vol. 8 (1990), pp. 18-36.
|
| |
In SIGCOMM '06: Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications (2006), pp. 267-278.
|
| |
|
| |
RFC, Vol. 2693 (September 1999)
|
| |
|
CiteULike
mstone's CiteULike
Search
