Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. (English) Zbl 1400.68133 J. Log. Algebr. Methods Program. 100, 152-184 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} et al., J. Log. Algebr. Methods Program. 100, 152--184 (2018; Zbl 1400.68133) Full Text: DOI
Zhang, Yan; Zhu, Zhaohui; Zhang, Jinjin; Zhou, Yong Axiomatizing Lüttgen & Vogler’s ready simulation for finite processes in \(\mathrm{CLL}_{R}\). (English) Zbl 1457.68196 J. Appl. Log. 13, No. 4, Part 3, 654-675 (2015). MSC: 68Q85 03B44 68Q60 PDFBibTeX XMLCite \textit{Y. Zhang} et al., J. Appl. Log. 13, No. 4, Part 3, 654--675 (2015; Zbl 1457.68196) Full Text: DOI arXiv