Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko Monitoring networks through multiparty session types. (English) Zbl 1359.68215 Theor. Comput. Sci. 669, 33-58 (2017). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Theor. Comput. Sci. 669, 33--58 (2017; Zbl 1359.68215) Full Text: DOI
Dam, Mads; Jacobs, Bart; Lundblad, Andreas; Piessens, Frank Security monitor inlining and certification for multithreaded Java. (English) Zbl 1361.68027 Math. Struct. Comput. Sci. 25, No. 3, 528-565 (2015). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{M. Dam} et al., Math. Struct. Comput. Sci. 25, No. 3, 528--565 (2015; Zbl 1361.68027) Full Text: DOI
Sapozhnikov, A. Automation of the construction of models of normal program behavior. (English. Russian original) Zbl 1253.68098 Program. Comput. Softw. 38, No. 4, 210-217 (2012); translation from Programmirovanie 38, No. 4 (2012). MSC: 68N30 68N20 PDFBibTeX XMLCite \textit{A. Sapozhnikov}, Program. Comput. Softw. 38, No. 4, 210--217 (2012; Zbl 1253.68098); translation from Programmirovanie 38, No. 4 (2012) Full Text: DOI