Contracts, games, and refinement.
From MaRDI portal
Publication:1854322
DOI10.1006/inco.1999.2820zbMath1046.68571MaRDI QIDQ1854322
Ralph-Johan Back, Joakim von Wright
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1999.2820
91A05: 2-person games
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Conditions of contracts for separating responsibilities in heterogeneous systems, External and internal choice with event groups in Event-B, Multiple Viewpoint Contract-Based Specification and Design
Cites Work