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

Cinzia Di Giusto, Jorge Andres Perez Parra

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
161 Downloads (Pure)
Original languageEnglish
Pages (from-to)531-566
JournalFormal Aspects of Computing
Volume28
Issue number4
DOIs
Publication statusPublished - Jul-2016

Keywords

  • Concurrency
  • Behavioral types
  • Session types
  • Run-time adaptation
  • Process calculi

Cite this