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

DOI10.1007/S00165-016-0377-ZMaRDI QIDQ315279zbMATH OpenOpenAlexWikidataFDO

Authors Cinzia Di Giusto, Jorge A. Pérez

Publication date 20 September 2016

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

concurrencysession typesbehavioral typesprocess calculirun-time adaptation

Mathematics Subject Classification ID

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

Recommendations

• Data-driven adaptation for smart sessions
• Session-based concurrency, reactively
• Reversibility in session-based concurrency: a fresh look
• Type systems for distributed programs: components and sessions
• Self-adaptation and secure information flow in multiparty communications

Cites work

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

Cited in

(2)

• On compensation primitives as adaptable processes
• Data-driven adaptation for smart sessions

Describes a project that uses

Uses Software

• AIOCJ
• COWS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q315279)