Author:
Baltag Alexandru,van Benthem Johan,Westerståhl Dag
Publisher
Springer International Publishing
Reference85 articles.
1. Abramsky, S. (1997). Semantics of interaction. In Proceedings of the 1996 CLiCS Summer School, Isaac Newton Institute, Cambridge (pp. 1–31). Cambridge, UK: Cambridge University Press.
2. Abramsky, S. (2003). Sequentiality versus concurrency in games and logic. Mathematical Structures in Computer Science, 13, 531–565.
3. Abramsky, S. (2006). Socially responsive, environmentally friendly logic. Acta Philosophica Fennica. In T. Aho & A. V. Pietarinen (Eds.), Truth and Games: Essays in Honour of Gabriel Sandu (Vol. 78, pp. 17–45). Helsinki: Societas Philosophica Fennica.
4. Abramsky, S. (2008). Information, processes, and games. In P. Adriaans & J. van Benthem (Eds.), Handbook of the Philosophy of Information (pp. 483–549). Amsterdam: Elsevier Science.
5. Abramsky, S. (2010). From csp to game semantics. In A. W. Roscoe, C. Jones & K. Wood (Eds.), Reflections on the Work of C.A.R. Hoare (pp. 33–45). Springer Science Publishers.