Login / Signup

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

Aleksandar S. DimovskiRanko Lazic
Published in: ICFEM (2004)
Keyphrases