Sasturkar, Amit; Yang, Ping; Stoller, Scott D.; Ramakrishnan, C. R. Policy analysis for administrative role-based access control. (English) Zbl 1234.68143 Theor. Comput. Sci. 412, No. 44, 6208-6234 (2011). MSC: 68Q17 68T20 68M99 PDF BibTeX XML Cite \textit{A. Sasturkar} et al., Theor. Comput. Sci. 412, No. 44, 6208--6234 (2011; Zbl 1234.68143) Full Text: DOI
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi Type checking and typability in domain-free lambda calculi. (English) Zbl 1241.03011 Theor. Comput. Sci. 412, No. 44, 6193-6207 (2011). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Theor. Comput. Sci. 412, No. 44, 6193--6207 (2011; Zbl 1241.03011) Full Text: DOI
Cousot, Patrick; Cousot, Radhia Grammar semantics, analysis and parsing by abstract interpretation. (English) Zbl 1248.68316 Theor. Comput. Sci. 412, No. 44, 6135-6192 (2011). Reviewer: Anna Labella (Roma) MSC: 68Q55 68Q45 68Q42 PDF BibTeX XML Cite \textit{P. Cousot} and \textit{R. Cousot}, Theor. Comput. Sci. 412, No. 44, 6135--6192 (2011; Zbl 1248.68316) Full Text: DOI
Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch. Reasoning about plan revision in BDI agent programs. (English) Zbl 1269.68045 Theor. Comput. Sci. 412, No. 44, 6115-6134 (2011). MSC: 68N19 68N17 68T42 68N30 PDF BibTeX XML Cite \textit{N. Alechina} et al., Theor. Comput. Sci. 412, No. 44, 6115--6134 (2011; Zbl 1269.68045) Full Text: DOI