Games for complexity of second-order call-by-name programs by Murawski, A

Subjects: “…Game semantics…”

Digraph measures: Kelly decompositions, games, and orderings by Hunter, P, Kreutzer, S

Subjects: “…Game semantics…”

Syntactic control of concurrency by Ghica, D, Murawski, A, Ong, L

Subjects: “…Game semantics…”

Full abstraction for PCF by Abramsky, S, Jagadeesan, R, Malacaria, P

Subjects: “…Game semantics…”

Functions with local state: regularity and undecidability by Murawski, A

Subjects: “…Game semantics…”

On full abstraction for PCF: I, II, and III by Hyland, J, Ong, C

Subjects:

A semantics for aspects by compositional translation by Sanjabi, S, Sam Sanjabi

Subjects:

Third-order Idealized Algol with iteration is decidable by Murawski, A, Walukiewicz, I

Subjects:

Game semantics based equivalence checking of higher-order programs by Hopkins, D, David Hopkins

Subjects:

Angelic semantics of fine-grained concurrency by Ghica, D, Murawski, A

Subjects:

The safe lambda calculus by Blum, W

Subjects:

The timed failures - stability model for CSP by Reed, G, Roscoe, A

Subjects: “…Game semantics…”

Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics: application to the UK energy sector by Hunt, J

Subjects: