Event-based run-time adaptation in communication-centric systems

Cinzia Di Giusto; Jorge Andres Perez Parra

doi:10.1007/s00165-016-0377-z

Event-based run-time adaptation in communication-centric systems

Cinzia Di Giusto, Jorge Andres Perez Parra

Fundamental Computing

Research output: Contribution to journal › Article › Academic › peer-review

3 Citations (Scopus)

211 Downloads (Pure)

Original language	English
Pages (from-to)	531-566
Journal	Formal Aspects of Computing
Volume	28
Issue number	4
DOIs	https://doi.org/10.1007/s00165-016-0377-z
Publication status	Published - Jul-2016

Keywords

Concurrency
Behavioral types
Session types
Run-time adaptation
Process calculi

Access to Document

10.1007/s00165-016-0377-zLicence: CC BY

Event-based run-time adaptation in communicationFinal publisher's version, 1.54 MBLicence: CC BY

Handle.net

Persistent link

Cite this

@article{21ad9b2fbfb346c7b08fd25c8f521879,

title = "Event-based run-time adaptation in communication-centric systems",

keywords = "Concurrency, Behavioral types, Session types, Run-time adaptation, Process calculi",

author = "{Di Giusto}, Cinzia and {Perez Parra}, {Jorge Andres}",

year = "2016",

month = jul,

doi = "10.1007/s00165-016-0377-z",

language = "English",

volume = "28",

pages = "531--566",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Event-based run-time adaptation in communication-centric systems

AU - Di Giusto, Cinzia

AU - Perez Parra, Jorge Andres

PY - 2016/7

Y1 - 2016/7

KW - Concurrency

KW - Behavioral types

KW - Session types

KW - Run-time adaptation

KW - Process calculi

U2 - 10.1007/s00165-016-0377-z

DO - 10.1007/s00165-016-0377-z

M3 - Article

SN - 0934-5043

VL - 28

SP - 531

EP - 566

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4

ER -