Concurrent Games and Full Completeness (1998)

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