Games and winning strategies

DOI10.1016/0020-0190(94)00206-EzbMath0875.68630OpenAlexW2064804242MaRDI QIDQ674272

Juan-Miguel Gracia

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00206-e

zbMATH Keywords

Formal semanticsProgram correctnessProgramming calculi

Mathematics Subject Classification ID

2-person games (91A05) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Contracts, games, and refinement.

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

This page was built for publication: Games and winning strategies