Bielova, N.; Dragoni, N.; Massacci, F.; Naliuka, K.; Siahaan, I. Matching in security-by-contract for mobile code. (English) Zbl 1192.68236 J. Log. Algebr. Program. 78, No. 5, 340-358 (2009). MSC: 68P25 PDFBibTeX XMLCite \textit{N. Bielova} et al., J. Log. Algebr. Program. 78, No. 5, 340--358 (2009; Zbl 1192.68236) Full Text: DOI
Dragoni, Nicola; Gaspari, Mauro An object based algebra for specifying a fault tolerant software architecture. (English) Zbl 1080.68013 J. Log. Algebr. Program. 63, No. 2, 271-297 (2005). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{N. Dragoni} and \textit{M. Gaspari}, J. Log. Algebr. Program. 63, No. 2, 271--297 (2005; Zbl 1080.68013) Full Text: DOI