Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha Parameterized model checking on the TSO weak memory model. (English) Zbl 07268904 J. Autom. Reasoning 64, No. 7, 1307-1330 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Conchon} et al., J. Autom. Reasoning 64, No. 7, 1307--1330 (2020; Zbl 07268904) Full Text: DOI
van Delft, Andre; Kmetyuk, Anatoliy Declarative programming with algebra. (English) Zbl 06562514 Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29603-6/pbk; 978-3-319-29604-3/ebook). Lecture Notes in Computer Science 9613, 232-251 (2016). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{A. van Delft} and \textit{A. Kmetyuk}, Lect. Notes Comput. Sci. 9613, 232--251 (2016; Zbl 06562514) Full Text: DOI
Kim, Se-Won; Choe, Kwang-Moo String analysis as an abstract interpretation. (English) Zbl 1317.68099 Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 294-308 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{S.-W. Kim} and \textit{K.-M. Choe}, Lect. Notes Comput. Sci. 6538, 294--308 (2011; Zbl 1317.68099) Full Text: DOI
Hedman, Eric J.; Kok, Joost N.; Sere, Kaisa Coordinating action systems. (English) Zbl 0959.68006 Theor. Comput. Sci. 240, No. 1, 91-115 (2000). MSC: 68M20 PDF BibTeX XML Cite \textit{E. J. Hedman} et al., Theor. Comput. Sci. 240, No. 1, 91--115 (2000; Zbl 0959.68006) Full Text: DOI