A Formal Model of Client-Cloud Interaction

Roxana-Maria Holom; Mircea Boris Vleju; Karoly Bosa

doi:10.1007/978-3-319-17112-8_4

A Formal Model of Client-Cloud Interaction

Roxana-Maria Holom, Mircea Boris Vleju, Karoly Bosa

Institute for Application-oriented Knowledge Processing

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

Original language	English
Title of host publication	Correct Software in Web Applications and Web Services
Editors	Thalheim, Bernhard and Schewe, Klaus-Dieter and Prinz, Andreas and Buchberger, Bruno
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	83-144
Number of pages	62
ISBN (Print)	978-3-319-17112-8
DOIs	https://doi.org/10.1007/978-3-319-17112-8_4
Publication status	Published - 2015

Fields of science

102 Computer Sciences
102010 Database systems
102014 Information design
102015 Information systems
102016 IT security
102022 Software development
102025 Distributed systems
505002 Data protection

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-319-17112-8_4

Cite this

@inbook{1d13c681b486401cbf39a27233a45d00,

title = "A Formal Model of Client-Cloud Interaction",

author = "Roxana-Maria Holom and Vleju, \{Mircea Boris\} and Karoly Bosa",

year = "2015",

doi = "10.1007/978-3-319-17112-8\_4",

language = "English",

isbn = "978-3-319-17112-8",

pages = "83--144",

editor = "\{Thalheim, Bernhard and Schewe, Klaus-Dieter and Prinz, Andreas and Buchberger, Bruno\}",

booktitle = "Correct Software in Web Applications and Web Services",

publisher = "Springer International Publishing",

}

A Formal Model of Client-Cloud Interaction. / Holom, Roxana-Maria; Vleju, Mircea Boris; Bosa, Karoly.
Correct Software in Web Applications and Web Services. ed. / Thalheim, Bernhard and Schewe, Klaus-Dieter and Prinz, Andreas and Buchberger, Bruno. Cham: Springer International Publishing, 2015. p. 83-144.

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

TY - CHAP

T1 - A Formal Model of Client-Cloud Interaction

AU - Holom, Roxana-Maria

AU - Vleju, Mircea Boris

AU - Bosa, Karoly

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-17112-8_4

DO - 10.1007/978-3-319-17112-8_4

M3 - Chapter

SN - 978-3-319-17112-8

SP - 83

EP - 144

BT - Correct Software in Web Applications and Web Services

A2 - Thalheim, Bernhard and Schewe, Klaus-Dieter and Prinz, Andreas and Buchberger, Bruno, null

PB - Springer International Publishing

CY - Cham

ER -