A flexible security system for using internet content
- Nayeem Islam
- Rangachari Anand
- et al.
- 1997
- IEEE Software
Publications
Date
Featured collections
Popular topics
23 results for Josyula R. Rao
A Methodology for Designing Proof Rules for Fair Parallel Programs
- Charanjit S. Jutla
- Josyula R. Rao
- 1997
- Formal Aspects of Computing
Reasoning about Probabilistic Parallel Programs
- Josyula R. Rao
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)