Francalanza, Adrian; Rathke, Julian; Sassone, Vladimiro Permission-based separation logic for message-passing concurrency. (English) Zbl 1237.68061 Log. Methods Comput. Sci. 7, No. 3, Paper No. 7, 47 p. (2011). MSC: 68N30 03B70 68Q85 PDF BibTeX XML Cite \textit{A. Francalanza} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 7, 47 p. (2011; Zbl 1237.68061) Full Text: DOI
Jeffrey, Alan S. A.; Rathke, Julian Contextual equivalence for higher-order pi-calculus revisited. (English) Zbl 1125.68084 Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. S. A. Jeffrey} and \textit{J. Rathke}, Log. Methods Comput. Sci. 1, No. 1, Paper 4, 22 p. (2005; Zbl 1125.68084) Full Text: DOI