@article(DBLP:journals/entcs/AbramskyM96,
 author       = {Samson Abramsky and Guy McCusker},
 year         = {1996},
 title        = {Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {3},
 pages        = {2--14},
 doi          = {10.1016/S1571-0661(05)80398-6},
)
@inproceedings(DBLP:conf/pldi/BorgesFdPV14,
 author       = {Mateus Borges and Antonio Filieri and Marcelo d'Amorim and Corina S. Pasareanu and Willem Visser},
 year         = {2014},
 title        = {Compositional solution space quantification for probabilistic software analysis},
 editor       = {Michael F. P. O'Boyle and Keshav Pingali},
 booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI}'14},
 publisher    = {{ACM}},
 pages        = {15},
 doi          = {10.1145/2594291.2594329},
)
@article(DBLP:journals/tocl/DanosH02,
 author       = {Vincent Danos and Russell Harmer},
 year         = {2002},
 title        = {Probabilistic game semantics},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {3},
 number       = {3},
 pages        = {359--382},
 doi          = {10.1145/507382.507385},
)
@inproceedings(DBLP:conf/ifm/Dimovski10,
 author       = {Aleksandar Dimovski},
 year         = {2010},
 title        = {A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs},
 booktitle    = {8th International Conference on Integrated Formal Methods, {IFM}'10},
 series       = {LNCS},
 volume       = {6396},
 publisher    = {Springer},
 pages        = {121--135},
 doi          = {10.1007/978-3-642-16265-7_10},
)
@inproceedings(DBLP:journals/corr/abs-1210-2454,
 author       = {Aleksandar Dimovski},
 year         = {2012},
 title        = {Symbolic Representation of Algorithmic Game Semantics},
 booktitle    = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012,},
 series       = {{EPTCS}},
 volume       = {96},
 pages        = {99--112},
 doi          = {10.4204/EPTCS.96.8},
)
@inproceedings(DBLP:journals/corr/Dimovski13,
 author       = {Aleksandar Dimovski},
 year         = {2013},
 title        = {Slot Games for Detecting Timing Leaks of Programs},
 booktitle    = {Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013,},
 series       = {{EPTCS}},
 volume       = {119},
 pages        = {166--179},
 doi          = {10.4204/EPTCS.119.15},
)
@inproceedings(DBLP:conf/sas/DimovskiGL05,
 author       = {Aleksandar Dimovski and Dan R. Ghica and Ranko Lazic},
 year         = {2005},
 title        = {Data-Abstraction Refinement: {A} Game Semantic Approach},
 booktitle    = {12th International Symposium on Static Analysis, {SAS} '05},
 series       = {LNCS},
 volume       = {3672},
 publisher    = {Springer},
 pages        = {102--117},
 doi          = {10.1007/11547662_9},
)
@article(DL,
 author       = {Aleksandar Dimovski and Ranko Lazic},
 year         = {2007},
 title        = {Compositional software verification based on game semantics and process algebra},
 journal      = {{STTT}},
 volume       = {9},
 number       = {1},
 pages        = {37--51},
 doi          = {10.1007/s10009-006-0005-y},
)
@inproceedings(DBLP:conf/stm/Dimovski14,
 author       = {Aleksandar S. Dimovski},
 year         = {2014},
 title        = {Ensuring Secure Non-interference of Programs by Game Semantics},
 booktitle    = {Security and Trust Management - 10th International Workshop, {STM} 2014. Proceedings},
 series       = {LNCS},
 volume       = {8743},
 publisher    = {Springer},
 pages        = {81--96},
 doi          = {10.1007/978-3-319-11851-2_6},
)
@article(D14,
 author       = {Aleksandar S. Dimovski},
 year         = {2014},
 title        = {Program verification using symbolic game semantics},
 journal      = {Theor. Comput. Sci.},
 volume       = {560},
 pages        = {364--379},
 doi          = {10.1016/j.tcs.2014.01.016},
)
@inproceedings(DBLP:conf/spin/Dimovski16,
 author       = {Aleksandar S. Dimovski},
 year         = {2016},
 title        = {Symbolic Game Semantics for Model Checking Program Families},
 editor       = {Dragan Bosnacki and Anton Wijs},
 booktitle    = {Proceedings of 23rd International Symposium on Model Checking Software, {SPIN}'16},
 series       = {LNCS},
 volume       = {9641},
 publisher    = {Springer},
 pages        = {19--37},
 doi          = {10.1007/978-3-319-32582-8_2},
)
@inproceedings(DBLP:conf/cav/Dutertre14,
 author       = {Bruno Dutertre},
 year         = {2014},
 title        = {Yices 2.2},
 booktitle    = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings},
 pages        = {737--744},
 doi          = {10.1007/978-3-319-08867-9_49},
)
@inproceedings(DBLP:conf/icse/FilieriPV13,
 author       = {Antonio Filieri and Corina S. Pasareanu and Willem Visser},
 year         = {2013},
 title        = {Reliability analysis in symbolic pathfinder},
 booktitle    = {35th International Conference on Software Engineering, {ICSE} '13},
 publisher    = {{IEEE} Computer Society},
 pages        = {622--631},
 doi          = {10.1109/ICSE.2013.6606608},
)
@inproceedings(DBLP:conf/issta/GeldenhuysDV12,
 author       = {Jaco Geldenhuys and Matthew B. Dwyer and Willem Visser},
 year         = {2012},
 title        = {Probabilistic symbolic execution},
 editor       = {Mats Per Erik Heimdahl and Zhendong Su},
 booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA} 2012},
 publisher    = {{ACM}},
 pages        = {166--176},
 doi          = {10.1145/2338965.2336773},
)
@article(GM,
 author       = {Dan R. Ghica and Guy McCusker},
 year         = {2003},
 title        = {The regular-language semantics of second-order Idealized ALGOL},
 journal      = {Theor. Comput. Sci.},
 volume       = {309},
 number       = {1-3},
 pages        = {469--502},
 doi          = {10.1016/S0304-3975(03)00315-3},
)
@inproceedings(DBLP:conf/lics/HarmerM99,
 author       = {Russell Harmer and Guy McCusker},
 year         = {1999},
 title        = {A Fully Abstract Game Semantics for Finite Nondeterminism},
 booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999},
 pages        = {422--430},
 doi          = {10.1109/LICS.1999.782637},
)
@article(DBLP:journals/iandc/HylandO00,
 author       = {J. M. E. Hyland and C.{-}H. Luke Ong},
 year         = {2000},
 title        = {On Full Abstraction for {PCF:} {I}, {II}, and {III}},
 journal      = {Inf. Comput.},
 volume       = {163},
 number       = {2},
 pages        = {285--408},
 doi          = {10.1006/inco.2000.2917},
)
@article(DBLP:journals/fmsd/KieferMOWW13,
 author       = {Stefan Kiefer and Andrzej S. Murawski and Jo{\"{e}}l Ouaknine and Bj{\"{o}}rn Wachter and James Worrell},
 year         = {2013},
 title        = {Algorithmic probabilistic game semantics - Playing games with automata},
 journal      = {Formal Methods in System Design},
 volume       = {43},
 number       = {2},
 pages        = {285--312},
 doi          = {10.1007/s10703-012-0173-1},
)
@inproceedings(DBLP:conf/tacas/KwiatkowskaNP02,
 author       = {Marta Z. Kwiatkowska and Gethin Norman and David Parker},
 year         = {2002},
 title        = {Probabilistic Symbolic Model Checking with {PRISM:} {A} Hybrid Approach},
 editor       = {Joost{-}Pieter Katoen and Perdita Stevens},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, {TACAS} 2002, Proceedings},
 series       = {LNCS},
 volume       = {2280},
 publisher    = {Springer},
 pages        = {52--66},
 doi          = {10.1007/3-540-46002-0_5},
)
@article(LattE,
 author       = {Jes{\'{u}}s A. De Loera and Raymond Hemmecke and Jeremiah Tauzer and Ruriko Yoshida},
 year         = {2004},
 title        = {Effective lattice point counting in rational convex polytopes},
 journal      = {J. Symb. Comput.},
 volume       = {38},
 number       = {4},
 pages        = {1273--1302},
 doi          = {10.1016/j.jsc.2003.04.003},
)
@inproceedings(DBLP:conf/concur/MurawskiO05,
 author       = {Andrzej S. Murawski and Jo{\"{e}}l Ouaknine},
 year         = {2005},
 title        = {On Probabilistic Program Equivalence and Refinement},
 booktitle    = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, Proceedings},
 series       = {LNCS},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {156--170},
 doi          = {10.1007/11539452_15},
)
@book(Reynolds,
 author       = {John C. Reynolds},
 year         = {1997},
 title        = {The essence of Algol},
 publisher    = {In: O'Hearn, P.W., Tennent, R.D. (eds), \textit{Algol-like languages}, Birkha\"user},
 doi          = {10.1007/978-1-4612-4118-8_4},
)