Affiliation:
1. Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India
Subject
Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software
Reference26 articles.
1. R. Alur and P. Madhusudan, Visibly pushdown languages, in: Proceedings of the 36th ACM Symposium on Theory of Computing, 2004, pp. 202–211.
2. The inclusion problem for some subclasses of context-free languages;Asveld;Theoretical Computer Science,1999
3. A. Bossi, R. Focardi, C. Piazza and S. Rossi, A proof system for information flow security, in: Logic Based Program Synthesis and Transformation, Springer, 2003, pp. 199–218.
4. Regular canonical systems;Büchi;Archiv Math. Logik und Grundlagenforschung,1964
5. Hyperproperties;Clarkson;Journal of Computer Security,2010