CSP Representation of Game Semantics for Second-Order Idealized Algol.

Aleksandar S. Dimovski, Ranko Lazic

Browse the full ICFEM paper archive.