ACM Computing Surveys (CSUR)
Secure Internet programming
Simulating wide-area replication
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
Dynamic rebinding for marshalling and update, with destruct-time ?
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Protecting domestic power-line communications
SOUPS '06 Proceedings of the second symposium on Usable privacy and security
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
Name Creation vs. Replication in Petri Net Systems
Fundamenta Informaticae - PETRI NETS 2007
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Name Creation vs. Replication in Petri Net Systems
Fundamenta Informaticae - PETRI NETS 2007
Hi-index | 0.00 |