Standard
Enforcing availability in failure-aware communicating systems. / López, Hugo A.; Nielson, Flemming; Nielson, Hanne Riis.
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. red. / Elvira Albert; Ivan Lanese. Springer Verlag, 2016. s. 195-211 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9688).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
López, HA, Nielson, F & Nielson, HR 2016,
Enforcing availability in failure-aware communicating systems. i E Albert & I Lanese (red),
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 9688, s. 195-211, 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Grækenland,
06/06/2016.
https://doi.org/10.1007/978-3-319-39570-8_13APA
López, H. A., Nielson, F., & Nielson, H. R. (2016).
Enforcing availability in failure-aware communicating systems. I E. Albert, & I. Lanese (red.),
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings (s. 195-211). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 9688
https://doi.org/10.1007/978-3-319-39570-8_13Vancouver
López HA, Nielson F, Nielson HR.
Enforcing availability in failure-aware communicating systems. I Albert E, Lanese I, red., Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. Springer Verlag. 2016. s. 195-211. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9688).
https://doi.org/10.1007/978-3-319-39570-8_13Author
López, Hugo A. ; Nielson, Flemming ; Nielson, Hanne Riis. / Enforcing availability in failure-aware communicating systems. Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings. red. / Elvira Albert ; Ivan Lanese. Springer Verlag, 2016. s. 195-211 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9688).
Bibtex
@inproceedings{6fc4fca26cd24d97afbca7308292ec31,
title = "Enforcing availability in failure-aware communicating systems",
abstract = "Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Motivated by challenging scenarios in Cyber-Physical Systems (CPS), we study how choreographic programming can cater for dynamic infrastructures where the availability of components may change at runtime. We introduce the Global Quality Calculus (GCq), a process calculus featuring novel operators for multiparty, partial and collective communications; we provide a type discipline that controls how partial communications refer only to available components; and we show that well-typed choreographies enjoy progress.",
author = "L{\'o}pez, {Hugo A.} and Flemming Nielson and Nielson, {Hanne Riis}",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-39570-8_13",
language = "English",
isbn = "9783319395692",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "195--211",
editor = "Elvira Albert and Ivan Lanese",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings",
note = "36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 ; Conference date: 06-06-2016 Through 09-06-2016",
}
RIS
TY - GEN
T1 - Enforcing availability in failure-aware communicating systems
AU - López, Hugo A.
AU - Nielson, Flemming
AU - Nielson, Hanne Riis
PY - 2016/1/1
Y1 - 2016/1/1
N2 - Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Motivated by challenging scenarios in Cyber-Physical Systems (CPS), we study how choreographic programming can cater for dynamic infrastructures where the availability of components may change at runtime. We introduce the Global Quality Calculus (GCq), a process calculus featuring novel operators for multiparty, partial and collective communications; we provide a type discipline that controls how partial communications refer only to available components; and we show that well-typed choreographies enjoy progress.
AB - Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Motivated by challenging scenarios in Cyber-Physical Systems (CPS), we study how choreographic programming can cater for dynamic infrastructures where the availability of components may change at runtime. We introduce the Global Quality Calculus (GCq), a process calculus featuring novel operators for multiparty, partial and collective communications; we provide a type discipline that controls how partial communications refer only to available components; and we show that well-typed choreographies enjoy progress.
UR - http://www.scopus.com/inward/record.url?scp=84977510899&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-39570-8_13
DO - 10.1007/978-3-319-39570-8_13
M3 - Article in proceedings
AN - SCOPUS:84977510899
SN - 9783319395692
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 195
EP - 211
BT - Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
A2 - Albert, Elvira
A2 - Lanese, Ivan
PB - Springer Verlag
T2 - 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
Y2 - 6 June 2016 through 9 June 2016
ER -
