Thomsen, Bent; Luckow, Kasper Søe; Leth, Lone; Bøgholm, Thomas From safety critical Java programs to timed process models. (English) Zbl 1434.68116 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 319-338 (2015). MSC: 68N30 68N15 68N18 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Thomsen} et al., Lect. Notes Comput. Sci. 9465, 319--338 (2015; Zbl 1434.68116) Full Text: DOI
Mateescu, Radu; Sighireanu, Mihaela Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus. (English) Zbl 1026.68098 Sci. Comput. Program. 46, No. 3, 255-281 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Mateescu} and \textit{M. Sighireanu}, Sci. Comput. Program. 46, No. 3, 255--281 (2003; Zbl 1026.68098) Full Text: DOI