Report copyright - Full abstraction without synchronization primitives · Abstract Using game semantics, we prove a full abstraction result (with respect to the may-testing preorder) for Idealized Algol
Please pass captcha verification before submit form