Concurrent Games and Full Completeness (1998)

by Samson Abramsky , Paul-André Melliès , Equipe De Logique Mathematique
Citations:50 - 17 self