Sassone, V. (ed.) Special issue: F-WAN, foundations of wide area network computing. Selected papers based on the presentation at the meeting, Málaga, Spain, July 12–13, 2002. (English) Zbl 1093.68526 Theor. Comput. Sci. 322, No. 3, 423-672 (2004). MSC: 68-06 03-06 00B25 PDF BibTeX XML Cite \textit{V. Sassone} (ed.), Theor. Comput. Sci. 322, No. 3, 423--672 (2004; Zbl 1093.68526)
Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1071.68009 Theor. Comput. Sci. 322, No. 3, 615-669 (2004). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI
Chothia, Tom; Duggan, Dominic Abstractions for fault-tolerant global computing. (English) Zbl 1071.68010 Theor. Comput. Sci. 322, No. 3, 567-613 (2004). MSC: 68M15 68Q85 68M10 PDF BibTeX XML Cite \textit{T. Chothia} and \textit{D. Duggan}, Theor. Comput. Sci. 322, No. 3, 567--613 (2004; Zbl 1071.68010) Full Text: DOI
Caires, Luís; Cardelli, Luca A spatial logic for concurrency. II. (English) Zbl 1050.68104 Theor. Comput. Sci. 322, No. 3, 517-565 (2004). MSC: 68Q85 03B70 03B45 03F05 68M14 PDF BibTeX XML Cite \textit{L. Caires} and \textit{L. Cardelli}, Theor. Comput. Sci. 322, No. 3, 517--565 (2004; Zbl 1050.68104) Full Text: DOI
Busi, Nadia; Zavattaro, Gianluigi On the expressive power of movement and restriction in pure mobile ambients. (English) Zbl 1071.68072 Theor. Comput. Sci. 322, No. 3, 477-515 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{N. Busi} and \textit{G. Zavattaro}, Theor. Comput. Sci. 322, No. 3, 477--515 (2004; Zbl 1071.68072) 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 PDF BibTeX XML Cite \textit{M. Abadi} and \textit{C. Fournet}, Theor. Comput. Sci. 322, No. 3, 427--476 (2004; Zbl 1071.68006) Full Text: DOI