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

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Information Security and Cryptography
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	147-170
Nombre de pages	24
Les DOIs	https://doi.org/10.1007/978-3-319-96131-6_9
état	Publié - 1 janv. 2020

Série de publications

Nom	Information Security and Cryptography
ISSN (imprimé)	1619-7100
ISSN (Electronique)	2197-845X

Accès au document

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

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

}

Refinement. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle et al.
Information Security and Cryptography. Springer Science and Business Media Deutschland GmbH, 2020. p. 147-170 (Information Security and Cryptography).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

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.

UR - https://www.scopus.com/pages/publications/85091587241

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

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation