Refinement

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith

doi:10.1007/978-3-319-96131-6_9

Refinement

Mário S. Alvim
, Konstantinos Chatzikokolakis
, Annabelle McIver
, Carroll Morgan
, Catuscia Palamidessi
, Geoffrey Smith

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Information Security and Cryptography
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	147-170
Number of pages	24
DOIs	https://doi.org/10.1007/978-3-319-96131-6_9
Publication status	Published - 1 Jan 2020

Publication series

Name	Information Security and Cryptography
ISSN (Print)	1619-7100
ISSN (Electronic)	2197-845X

Access to Document

10.1007/978-3-319-96131-6_9

Cite this

@inbook{0dfa340a713242839419b3a1fa7291d1,

title = "Refinement",

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.",

author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/978-3-319-96131-6\_9",

language = "English",

series = "Information Security and Cryptography",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "147--170",

booktitle = "Information Security and Cryptography",

}

TY - CHAP

T1 - Refinement

AU - Alvim, Mário S.

AU - Chatzikokolakis, Konstantinos

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Palamidessi, Catuscia

AU - Smith, Geoffrey

PY - 2020/1/1

Y1 - 2020/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-96131-6_9

DO - 10.1007/978-3-319-96131-6_9

M3 - Chapter

AN - SCOPUS:85091587241

T3 - Information Security and Cryptography

SP - 147

EP - 170

BT - Information Security and Cryptography

PB - Springer Science and Business Media Deutschland GmbH

ER -

Refinement

Abstract

Publication series

Access to Document

Fingerprint

Cite this