Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina Flexible correct-by-construction programming. (English) Zbl 07731927 Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Runge} et al., Log. Methods Comput. Sci. 19, No. 2, Paper No. 16, 36 p. (2023; Zbl 07731927) Full Text: DOI arXiv
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger Fifty years of Hoare’s logic. (English) Zbl 1427.68008 Formal Asp. Comput. 31, No. 6, 751-807 (2019). MSC: 68-03 03B70 68N30 68Q55 PDFBibTeX XMLCite \textit{K. R. Apt} and \textit{E.-R. Olderog}, Formal Asp. Comput. 31, No. 6, 751--807 (2019; Zbl 1427.68008) Full Text: DOI arXiv Link
Struth, Georg Hoare semigroups. (English) Zbl 1390.68440 Math. Struct. Comput. Sci. 28, No. 6, 775-799 (2018). MSC: 68Q60 03B70 20M10 PDFBibTeX XMLCite \textit{G. Struth}, Math. Struct. Comput. Sci. 28, No. 6, 775--799 (2018; Zbl 1390.68440) Full Text: DOI
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J. Balancing expressiveness in formal approaches to concurrency. (English) Zbl 1343.68171 Formal Asp. Comput. 27, No. 3, 475-497 (2015). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{C. B. Jones} et al., Formal Asp. Comput. 27, No. 3, 475--497 (2015; Zbl 1343.68171) Full Text: DOI
Bozzelli, Laura; van Ditmarsch, Hans; French, Tim; Hales, James; Pinchinat, Sophie Refinement modal logic. (English) Zbl 1309.68175 Inf. Comput. 239, 303-339 (2014). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Inf. Comput. 239, 303--339 (2014; Zbl 1309.68175) Full Text: DOI arXiv
Martin, C. E.; Curtis, S. A. The algebra of multirelations. (English) Zbl 1352.18001 Math. Struct. Comput. Sci. 23, No. 3, 635-674 (2013). Reviewer: Mark S. Burgin (Los Angeles) MSC: 18B10 03B70 18C05 18D99 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. E. Martin} and \textit{S. A. Curtis}, Math. Struct. Comput. Sci. 23, No. 3, 635--674 (2013; Zbl 1352.18001) Full Text: DOI
Hoare, Tony; van Staden, Stephan In praise of algebra. (English) Zbl 1259.68030 Formal Asp. Comput. 24, No. 4-6, 423-431 (2012). MSC: 68N19 03B70 68Q85 68Q60 PDFBibTeX XMLCite \textit{T. Hoare} and \textit{S. van Staden}, Formal Asp. Comput. 24, No. 4--6, 423--431 (2012; Zbl 1259.68030) Full Text: DOI
de Oliveira, Diego Caminha B.; Déharbe, David; Fontaine, Pascal Combining decision procedures by (model-)equality propagation. (English) Zbl 1243.68150 Sci. Comput. Program. 77, No. 4, 518-532 (2012). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{D. C. B. de Oliveira} et al., Sci. Comput. Program. 77, No. 4, 518--532 (2012; Zbl 1243.68150) Full Text: DOI
McIver, A. K.; Morgan, C. C. Compositional refinement in agent-based security protocols. (English) Zbl 1245.68065 Formal Asp. Comput. 23, No. 6, 711-737 (2011). MSC: 68N30 94A60 68M12 03B70 68T15 PDFBibTeX XMLCite \textit{A. K. McIver} and \textit{C. C. Morgan}, Formal Asp. Comput. 23, No. 6, 711--737 (2011; Zbl 1245.68065) Full Text: DOI
Hiltont, Adrian; Hall, Jon G. Refining specifications to programmable logic. (English) Zbl 1270.68086 Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 37-49 (2002). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{A. Hiltont} and \textit{J. G. Hall}, Electron. Notes Theor. Comput. Sci. 70, No. 3, 37--49 (2002; Zbl 1270.68086) Full Text: Link
Denney, Ewen Simply-typed underdeterminism. (English) Zbl 0914.03018 J. Comput. Sci. Technol. 13, No. 6, 491-508 (1998). MSC: 03B40 68N15 03B70 PDFBibTeX XMLCite \textit{E. Denney}, J. Comput. Sci. Technol. 13, No. 6, 491--508 (1998; Zbl 0914.03018) Full Text: DOI