Colvin, Robert J. A fine-grained semantics for arrays and pointers under weak memory models. (English) Zbl 07728849 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 301-320 (2023). MSC: 68Q85 68N19 68Q55 PDFBibTeX XMLCite \textit{R. J. Colvin}, Lect. Notes Comput. Sci. 14000, 301--320 (2023; Zbl 07728849) Full Text: DOI
Hayes, Ian J.; Meinicke, Larissa A.; Winter, Kirsten; Colvin, Robert J. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. (English) Zbl 1425.68293 Formal Asp. Comput. 31, No. 2, 133-163 (2019). MSC: 68Q85 68N30 68T15 PDFBibTeX XMLCite \textit{I. J. Hayes} et al., Formal Asp. Comput. 31, No. 2, 133--163 (2019; Zbl 1425.68293) Full Text: DOI arXiv
Colvin, Robert J. Modelling and analysing neural networks using a hybrid process algebra. (English) Zbl 1336.92005 Theor. Comput. Sci. 623, 15-64 (2016). MSC: 92B20 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Theor. Comput. Sci. 623, 15--64 (2016; Zbl 1336.92005) Full Text: DOI
Colvin, Robert J. An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057 Formal Asp. Comput. 26, No. 3, 491-535 (2014). MSC: 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Formal Asp. Comput. 26, No. 3, 491--535 (2014; Zbl 1342.68057) Full Text: DOI
Colvin, Robert J.; Hayes, Ian J. Structural operational semantics through context-dependent behaviour. (English) Zbl 1223.68026 J. Log. Algebr. Program. 80, No. 7, 392-426 (2011). MSC: 68N15 68Q55 68Q85 68N19 PDFBibTeX XMLCite \textit{R. J. Colvin} and \textit{I. J. Hayes}, J. Log. Algebr. Program. 80, No. 7, 392--426 (2011; Zbl 1223.68026) Full Text: DOI