Sciweavers

ICFEM
2004
Springer

CSP Representation of Game Semantics for Second-Order Idealized Algol

14 years 4 months ago
CSP Representation of Game Semantics for Second-Order Idealized Algol
Aleksandar Dimovski, Ranko Lazic
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICFEM
Authors Aleksandar Dimovski, Ranko Lazic
Comments (0)