Concurrent games and full completeness (1999)

by S Abramski, P-A Mellies
Venue:In LICS’99