Crafa, Silvia The role of concurrency in an evolutionary view of programming abstractions. (English) Zbl 1330.68200 J. Log. Algebr. Methods Program. 84, No. 6, 732-741 (2015). MSC: 68Q85 68N15 68N19 PDFBibTeX XMLCite \textit{S. Crafa}, J. Log. Algebr. Methods Program. 84, No. 6, 732--741 (2015; Zbl 1330.68200) Full Text: DOI arXiv
Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca Distributed temporal logic for the analysis of security protocol models. (English) Zbl 1253.68053 Theor. Comput. Sci. 412, No. 31, 4007-4043 (2011). MSC: 68M12 68M14 03B44 94A60 PDFBibTeX XMLCite \textit{D. Basin} et al., Theor. Comput. Sci. 412, No. 31, 4007--4043 (2011; Zbl 1253.68053) Full Text: DOI
Bugliesi, Michele; Focardi, Ricardo Channel abstractions for network security. (English) Zbl 1191.68269 Math. Struct. Comput. Sci. 20, No. 1, 3-44 (2010). MSC: 68P25 68Q85 68M14 PDFBibTeX XMLCite \textit{M. Bugliesi} and \textit{R. Focardi}, Math. Struct. Comput. Sci. 20, No. 1, 3--44 (2010; Zbl 1191.68269) Full Text: DOI
Fournet, Cédric; Gonthier, Georges A hierarchy of equivalences for asynchronous calculi. (English) Zbl 1066.68088 J. Log. Algebr. Program. 63, No. 1, 131-173 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Fournet} and \textit{G. Gonthier}, J. Log. Algebr. Program. 63, No. 1, 131--173 (2005; Zbl 1066.68088) Full Text: DOI
Abadi, Martín; Fournet, Cédric Private authentication. (English) Zbl 1071.68006 Theor. Comput. Sci. 322, No. 3, 427-476 (2004). MSC: 68M12 68P25 94A62 PDFBibTeX XMLCite \textit{M. Abadi} and \textit{C. Fournet}, Theor. Comput. Sci. 322, No. 3, 427--476 (2004; Zbl 1071.68006) Full Text: DOI
Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Priami, Corrado Primitives for authentication in process algebras. (English) Zbl 1050.68103 Theor. Comput. Sci. 283, No. 2, 271-304 (2002). MSC: 68Q85 68M99 PDFBibTeX XMLCite \textit{C. Bodei} et al., Theor. Comput. Sci. 283, No. 2, 271--304 (2002; Zbl 1050.68103) Full Text: DOI
Fournet, C.; Laneve, C. Bisimulations in the join-calculus. (English) Zbl 0989.68098 Theor. Comput. Sci. 266, No. 1-2, 569-603 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Fournet} and \textit{C. Laneve}, Theor. Comput. Sci. 266, No. 1--2, 569--603 (2001; Zbl 0989.68098) Full Text: DOI