The University of Warwick Library - WebBridge

CSP representation of game semantics for second-order idealized Algol
Dimovski, Aleksandar.  Formal Methods and Software Engineering.  v. Volume 3308.   2004. p. 146 - 161... issn: 0302-9743 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.