Yamada, Norihiro; Abramsky, Samson Dynamic game semantics. (English) Zbl 1495.68128 Math. Struct. Comput. Sci. 30, No. 8, 892-951 (2020). MSC: 68Q55 03G30 18C50 68N15 68Q01 PDFBibTeX XMLCite \textit{N. Yamada} and \textit{S. Abramsky}, Math. Struct. Comput. Sci. 30, No. 8, 892--951 (2020; Zbl 1495.68128) Full Text: DOI arXiv
Yamada, Norihiro A game-semantic model of computation. (English) Zbl 1416.68073 Res. Math. Sci. 6, No. 1, Paper No. 3, 79 p. (2019). MSC: 68Q05 03D10 03D75 68Q55 PDFBibTeX XMLCite \textit{N. Yamada}, Res. Math. Sci. 6, No. 1, Paper No. 3, 79 p. (2019; Zbl 1416.68073) Full Text: DOI arXiv
Dimovski, Aleksandar S. Verifying annotated program families using symbolic game semantics. (English) Zbl 1380.68121 Theor. Comput. Sci. 706, 35-53 (2018). MSC: 68N30 68Q45 68Q55 68Q60 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Theor. Comput. Sci. 706, 35--53 (2018; Zbl 1380.68121) Full Text: DOI
Dimovski, Aleksandar S. Probabilistic analysis based on symbolic game semantics and model counting. (English) Zbl 1483.68077 Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017). MSC: 68N30 68Q55 68Q60 68Q87 91A80 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1--15 (2017; Zbl 1483.68077) Full Text: arXiv Link
Dimovski, Aleksandar S. Program verification using symbolic game semantics. (English) Zbl 1303.68083 Theor. Comput. Sci. 560, Part 3, 364-379 (2014). MSC: 68Q60 68N30 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. S. Dimovski}, Theor. Comput. Sci. 560, Part 3, 364--379 (2014; Zbl 1303.68083) Full Text: DOI
Bakewell, Adam; Ghica, Dan R. Compositional predicate abstraction from game semantics. (English) Zbl 1234.68069 Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 62-76 (2009). MSC: 68N30 68Q55 68Q60 91A80 PDFBibTeX XMLCite \textit{A. Bakewell} and \textit{D. R. Ghica}, Lect. Notes Comput. Sci. 5505, 62--76 (2009; Zbl 1234.68069) Full Text: DOI
Bakewell, Adam; Ghica, Dan R. On-the-fly techniques for game-based software model checking. (English) Zbl 1134.68396 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 78-92 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Bakewell} and \textit{D. R. Ghica}, Lect. Notes Comput. Sci. 4963, 78--92 (2008; Zbl 1134.68396) Full Text: DOI
Curien, Pierre-Louis Definability and full abstraction. (English) Zbl 1277.68120 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 301-310 (2007). MSC: 68Q55 PDFBibTeX XMLCite \textit{P.-L. Curien}, Electron. Notes Theor. Comput. Sci. 172, 301--310 (2007; Zbl 1277.68120) Full Text: DOI Backlinks: MO