Neele, Thomas; Valmari, Antti; Willemse, Tim A. C. A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction. (English) Zbl 07407780 Log. Methods Comput. Sci. 17, No. 3, Paper No. 8, 27 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Neele} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 8, 27 p. (2021; Zbl 07407780) Full Text: arXiv Link
Laveaux, Maurice; Groote, Jan Friso; Willemse, Tim A. C. Correct and efficient antichain algorithms for refinement checking. (English) Zbl 1509.68168 Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Laveaux} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021; Zbl 1509.68168) Full Text: arXiv Link
Groote, Jan Friso; Willemse, Tim A. C. A symmetric protocol to establish service level agreements. (English) Zbl 07269247 Log. Methods Comput. Sci. 16, No. 3, Paper No. 19, 19 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. F. Groote} and \textit{T. A. C. Willemse}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 19, 19 p. (2020; Zbl 07269247) Full Text: arXiv Link
De Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C. Games for bisimulations and abstraction. (English) Zbl 1398.68362 Log. Methods Comput. Sci. 13, No. 4, Paper No. 18, 40 p. (2017). MSC: 68Q85 68Q60 91A80 PDFBibTeX XMLCite \textit{D. De Frutos Escrig} et al., Log. Methods Comput. Sci. 13, No. 4, Paper No. 18, 40 p. (2017; Zbl 1398.68362) Full Text: DOI arXiv