Pym, David; Tofts, Chris A calculus and logic of resources and processes. (English) Zbl 1111.68086 Formal Asp. Comput. 18, No. 4, 495-517 (2006); errata ibid. 19, No. 4, 551-554 (2007). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{D. Pym} and \textit{C. Tofts}, Formal Asp. Comput. 18, No. 4, 495--517 (2006; Zbl 1111.68086) Full Text: DOI
Ladkin, Peter B.; Leue, Stefan Interpreting message flow graphs. (English) Zbl 0838.68075 Formal Asp. Comput. 7, No. 5, 473-509 (1995). MSC: 68Q55 68Q45 PDFBibTeX XMLCite \textit{P. B. Ladkin} and \textit{S. Leue}, Formal Asp. Comput. 7, No. 5, 473--509 (1995; Zbl 0838.68075) Full Text: DOI