Hoare, Tony; Struth, Georg; Woodcock, Jim A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019). MSC: 68N30 PDFBibTeX XMLCite \textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631) Full Text: DOI Link
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. (English) Zbl 1367.68210 ACM Trans. Comput. Log. 17, No. 3, Article No. 15, 25 p. (2016). MSC: 68Q85 03B70 06F07 68Q55 68Q60 PDFBibTeX XMLCite \textit{B. Dongol} et al., ACM Trans. Comput. Log. 17, No. 3, Article No. 15, 25 p. (2016; Zbl 1367.68210) Full Text: DOI
Struth, Georg Modal tools for separation and refinement. (English) Zbl 1283.68215 Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 81-101 (2008). MSC: 68Q60 03G25 68T15 PDFBibTeX XMLCite \textit{G. Struth}, Electron. Notes Theor. Comput. Sci. 214, 81--101 (2008; Zbl 1283.68215) Full Text: DOI