Sheng, Feng; Zhu, Huibiao; He, Jifeng; Yang, Zongyuan; Bowen, Jonathan P. Theoretical and practical approaches to the denotational semantics for MDESL based on UTP. (English) Zbl 1458.68041 Formal Asp. Comput. 32, No. 2-3, 275-314 (2020). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{F. Sheng} et al., Formal Asp. Comput. 32, No. 2--3, 275--314 (2020; Zbl 1458.68041) Full Text: DOI
Foster, Simon; Cavalcanti, Ana; Canham, Samuel; Woodcock, Jim; Zeyda, Frank Unifying theories of reactive design contracts. (English) Zbl 1436.68195 Theor. Comput. Sci. 802, 105-140 (2020). MSC: 68Q60 68Q55 68V15 PDFBibTeX XMLCite \textit{S. Foster} et al., Theor. Comput. Sci. 802, 105--140 (2020; Zbl 1436.68195) Full Text: DOI arXiv Link
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. (English) Zbl 1398.68373 Formal Asp. Comput. 30, No. 3-4, 351-380 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Shi} et al., Formal Asp. Comput. 30, No. 3--4, 351--380 (2018; Zbl 1398.68373) Full Text: DOI Link
Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip Denotational semantics and its algebraic derivation for an event-driven system-level language. (English) Zbl 1347.68039 Formal Asp. Comput. 27, No. 1, 133-166 (2015). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{H. Zhu} et al., Formal Asp. Comput. 27, No. 1, 133--166 (2015; Zbl 1347.68039) Full Text: DOI Link
Foster, Simon; Woodcock, Jim Unifying theories of programming in Isabelle. (English) Zbl 1444.68049 Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013). MSC: 68N30 68Q55 68V15 68V20 PDFBibTeX XMLCite \textit{S. Foster} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 8050, 109--155 (2013; Zbl 1444.68049) Full Text: DOI Link
Cavalcanti, Ana; Gaudel, Marie-Claude Testing for refinement in Circus. (English) Zbl 1237.68059 Acta Inf. 48, No. 2, 97-147 (2011). MSC: 68N30 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Cavalcanti} and \textit{M.-C. Gaudel}, Acta Inf. 48, No. 2, 97--147 (2011; Zbl 1237.68059) Full Text: DOI
Butterfield, Andrew A denotational semantics for Handel-C. (English) Zbl 1216.68154 Formal Asp. Comput. 23, No. 2, 153-170 (2011). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{A. Butterfield}, Formal Asp. Comput. 23, No. 2, 153--170 (2011; Zbl 1216.68154) Full Text: DOI