Refinement Book Chapter

Alvim, MS, Chatzikokolakis, K, McIver, A et al. (2020). Refinement . 147-170. 10.1007/978-3-319-96131-6_9

cited authors

  • Alvim, MS; Chatzikokolakis, K; McIver, A; Morgan, C; Palamidessi, C; Smith, G

abstract

  • As a technical term in Computer Science, “refinement” is understood as a relation between systems (programs, channels.. ) that, in its most austere form, is simply preservation of properties.

authors

publication date

  • January 1, 2020

Digital Object Identifier (DOI)

start page

  • 147

end page

  • 170