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 PDFBibTeX XMLCite \textit{A. Francalanza} et al., Log. Methods Comput. Sci. 7, No. 3, Paper No. 7, 47 p. (2011; Zbl 1237.68061) Full Text: DOI
Cousot, Patrick (ed.); Goubault, Eric (ed.); Gunawardena, Jeremy (ed.); Herlihy, Maurice (ed.); Raussen, Martin (ed.); Sassone, Vladimiro (ed.) Geometry and topology in concurrency theory. Workshop, PennState, University Park, PA, USA, August 21, 2000. (English) Zbl 0957.00044 Electronic Notes in Theoretical Computer Science. 39,2. Amsterdam: Elsevier, 4 papers (electronic only) (2000). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{P. Cousot} (ed.) et al., Geometry and topology in concurrency theory. Workshop, PennState, University Park, PA, USA, August 21, 2000. Amsterdam: Elsevier (2000; Zbl 0957.00044) Full Text: Link
Montanari, Ugo (ed.); Sassone, Vladimiro (ed.) Concurrency theory. CONCUR 1996, the 7th international conference, Pisa, Italy, August 26–29, 1996. (English) Zbl 0914.00092 Theor. Comput. Sci. 195, No. 2, 111–326 (1998). MSC: 00B25 68-06 PDFBibTeX XML
Sassone, Vladimiro; Nielsen, Mogens; Winskel, Glynn Models for concurrency: Towards a classification. (English) Zbl 0874.68120 Theor. Comput. Sci. 170, No. 1-2, 297-348 (1996). MSC: 68Q10 PDFBibTeX XMLCite \textit{V. Sassone} et al., Theor. Comput. Sci. 170, No. 1--2, 297--348 (1996; Zbl 0874.68120) Full Text: DOI
Montanari, Ugo (ed.); Sassone, Vladimiro (ed.) CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. (English) Zbl 0915.00046 Lecture Notes in Computer Science 1119. Berlin: Springer. xii, 750 p. (1996). MSC: 00B25 68Q85 68-06 PDFBibTeX XMLCite \textit{U. Montanari} (ed.) and \textit{V. Sassone} (ed.), CONCUR `96: Concurrency theory. 7th international conference, Pisa, Italy, August 26--29, 1996. Proceedings. Berlin: Springer (1996; Zbl 0915.00046) Full Text: DOI