On model checking for the μ-calculus and its fragments
- E.Allen Emerson
- Charanjit S. Jutla
- et al.
- 2001
- Theoretical Computer Science
Paper
Publications
17 results for Charanjit Jutla
Secure distributed storage and retrieval
- Juan A. Garay
- Rosario Gennaro
- et al.
- 2000
- Theoretical Computer Science
PaperComplexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
PaperVariety cash: A multi-purpose electronic payment system
- Mihir Bellare
- J. Garayy
- et al.
- 1998
- USENIX EC 1998
Conference paperDeterminization and Memoryless Winning Strategies
- Charanjit S. Jutla
- 1997
- Information and Computation
PaperA Methodology for Designing Proof Rules for Fair Parallel Programs
- Charanjit S. Jutla
- Josyula R. Rao
- 1997
- Formal Aspects of Computing
PaperFinding extremal sets in less than quadratic time
- Daniel M. Yellin
- Charanjit S. Jutla
- 1993
- Information Processing Letters
Paper