Beffara, Emmanuel Order algebras: a quantitative model of interaction. (English) Zbl 1398.68357 Math. Struct. Comput. Sci. 28, No. 7, 1126-1168 (2018). MSC: 68Q85 06F99 68Q55 PDFBibTeX XMLCite \textit{E. Beffara}, Math. Struct. Comput. Sci. 28, No. 7, 1126--1168 (2018; Zbl 1398.68357) Full Text: DOI
Pous, Damien Complete lattices and up-to techniques. (English) Zbl 1138.68041 Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 351-366 (2007). MSC: 68Q85 06B23 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 4807, 351--366 (2007; Zbl 1138.68041) Full Text: DOI Link
Zhang, Guo-Qiang; Jiang, Ying On an open problem of Amadio and Curien: The finite antichain condition. (English) Zbl 1088.18004 Inf. Comput. 202, No. 1, 87-103 (2005). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 18B35 06B35 18D15 PDFBibTeX XMLCite \textit{G.-Q. Zhang} and \textit{Y. Jiang}, Inf. Comput. 202, No. 1, 87--103 (2005; Zbl 1088.18004) Full Text: DOI