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

DOI10.1007/S00165-016-0377-ZzbMath1345.68234OpenAlexW2387025492WikidataQ57652361 ScholiaQ57652361MaRDI QIDQ315279

Jorge A. Pérez, Cinzia Di Giusto

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0377-z

zbMATH Keywords

concurrencyprocess calculisession typesbehavioral typesrun-time adaptation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Data-driven adaptation for smart sessions ⋮ Unnamed Item

Uses Software

• COWS
• AIOCJ

Cites Work

• Unnamed Item
• Monitoring networks through multiparty session types
• A calculus of mobile processes. I
• Subtyping for session types in the pi calculus
• Multiparty asynchronous session types
• Adaptable processes
• Global progress for dynamically interleaved multiparty sessions
• On asynchronous eventful session semantics
• Programming Languages and Systems

This page was built for publication: Event-based run-time adaptation in communication-centric systems