Games and winning strategies
From MaRDI portal
Publication:674272
DOI10.1016/0020-0190(94)00206-EzbMath0875.68630MaRDI QIDQ674272
Publication date: 28 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
91A05: 2-person games
91A40: Other game-theoretic models
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work
- Unnamed Item
- Fixed-point calculus
- Compositional action system refinement
- A model of concurrency with fair merge and full recursion
- Duality in specification languages: A lattice-theoretical approach
- A calculus of refinements for program derivations
- Data refinement of predicate transformers
- Nondeterminacy and recursion via stacks and games