Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James A static analysis framework for livelock freedom in CSP. (English) Zbl 1274.68250 Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. Ouaknine} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 24, 52 p. (2013; Zbl 1274.68250) Full Text: DOI arXiv
Roscoe, A. W. Understanding concurrent systems. (English) Zbl 1211.68205 Texts in Computer Science. London: Springer (ISBN 978-1-84882-257-3/hbk; 978-1-84882-258-0/ebook). xviii, 527 p. (2010). Reviewer: Günther Bauer (Görlitz) MSC: 68Q10 68-02 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. W. Roscoe}, Understanding concurrent systems. London: Springer (2010; Zbl 1211.68205) Full Text: DOI
Brookes, S. D.; Roscoe, A. W. Deadlock analysis in networks of communicating processes. (English) Zbl 0717.68006 Distrib. Comput. 4, No. 4, 209-230 (1991). MSC: 68M10 PDFBibTeX XMLCite \textit{S. D. Brookes} and \textit{A. W. Roscoe}, Distrib. Comput. 4, No. 4, 209--230 (1991; Zbl 0717.68006) Full Text: DOI
Reed, G. M.; Roscoe, A. W. A timed model for communicating sequential processes. (English) Zbl 0655.68031 Theor. Comput. Sci. 58, No. 1-3, 249-261 (1988). Reviewer: M.Jantzen MSC: 68N25 68N01 68Q60 68U20 68Q55 PDFBibTeX XMLCite \textit{G. M. Reed} and \textit{A. W. Roscoe}, Theor. Comput. Sci. 58, No. 1--3, 249--261 (1988; Zbl 0655.68031) Full Text: DOI
Reed, G. M.; Roscoe, A. W. Metric spaces as models for real-time concurrency. (English) Zbl 0644.68040 Mathematical foundations of programming language semantics, Proc. Workshop, New Orleans/La. 1987, Lect. Notes Comput. Sci. 298, 331-343 (1988). MSC: 68Q65 68N25 68Q60 PDFBibTeX XML
Brookes, S. D.; Roscoe, A. W. Deadlock analysis in networks of communicating processes. (English) Zbl 0578.68024 Logics and models of concurrent systems, Proc. NATO Adv. Study Inst., La Colle-sur-Loup/France 1984, NATO ASI Ser., Ser. F 13, 305-323 (1985). Reviewer: V.Calmatuianu MSC: 68N25 68Q60 PDFBibTeX XML
Brookes, S. D.; Roscoe, A. W. An improved failures model for communicating processes. (English) Zbl 0565.68023 Concurrency, Semin. Pittsburgh/Pa. 1984, Lect. Notes Comput. Sci. 197, 281-305 (1985). MSC: 68N25 PDFBibTeX XML