LATTICED SIMULATION RELATIONS AND GAMES
From MaRDI portal
Publication:3552519
DOI10.1142/S0129054110007192zbMath1200.68155MaRDI QIDQ3552519
Publication date: 22 April 2010
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
91A05: 2-person games
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)