Krukow, Karl; Twigg, Andrew The complexity of fixed point models of trust in distributed networks. (English) Zbl 1132.68017 Theor. Comput. Sci. 389, No. 3, 528-549 (2007). MSC: 68M14 PDF BibTeX XML Cite \textit{K. Krukow} and \textit{A. Twigg}, Theor. Comput. Sci. 389, No. 3, 528--549 (2007; Zbl 1132.68017) Full Text: DOI OpenURL
Chatzikokolakis, Konstantinos; Palamidessi, Catuscia A framework for analyzing probabilistic protocols and its application to the partial secrets exchange. (English) Zbl 1132.68026 Theor. Comput. Sci. 389, No. 3, 512-527 (2007). MSC: 68P25 68Q85 PDF BibTeX XML Cite \textit{K. Chatzikokolakis} and \textit{C. Palamidessi}, Theor. Comput. Sci. 389, No. 3, 512--527 (2007; Zbl 1132.68026) Full Text: DOI Link OpenURL
Briais, Sébastien; Nestmann, Uwe A formal semantics for protocol narrations. (English) Zbl 1131.68045 Theor. Comput. Sci. 389, No. 3, 484-511 (2007). MSC: 68P25 68Q55 68M12 PDF BibTeX XML Cite \textit{S. Briais} and \textit{U. Nestmann}, Theor. Comput. Sci. 389, No. 3, 484--511 (2007; Zbl 1131.68045) Full Text: DOI Link OpenURL
Baldan, P.; Bracciali, A.; Bruni, R. A semantic framework for open processes. (English) Zbl 1132.68042 Theor. Comput. Sci. 389, No. 3, 446-483 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Baldan} et al., Theor. Comput. Sci. 389, No. 3, 446--483 (2007; Zbl 1132.68042) Full Text: DOI Link OpenURL
Aspinall, David; Beringer, Lennart; Hofmann, Martin; Loidl, Hans-Wolfgang; Momigliano, Alberto A program logic for resources. (English) Zbl 1133.68010 Theor. Comput. Sci. 389, No. 3, 411-445 (2007). MSC: 68N15 03B70 PDF BibTeX XML Cite \textit{D. Aspinall} et al., Theor. Comput. Sci. 389, No. 3, 411--445 (2007; Zbl 1133.68010) Full Text: DOI Link OpenURL
Ahern, Alexander; Yoshida, Nobuko Formalising Java RMI with explicit code mobility. (English) Zbl 1132.68020 Theor. Comput. Sci. 389, No. 3, 341-410 (2007). MSC: 68N15 PDF BibTeX XML Cite \textit{A. Ahern} and \textit{N. Yoshida}, Theor. Comput. Sci. 389, No. 3, 341--410 (2007; Zbl 1132.68020) Full Text: DOI Link OpenURL