Semantical analysis of perpetual strategies (1999)

by F Honsell, M Lenisa
Venue:in - calculus, Theoretical Computer Science