Data-driven adaptation for smart sessions

DOI10.1016/J.JLAMP.2017.02.007zbMath1371.68188OpenAlexW2593212269MaRDI QIDQ2360650

Mario Coppo, Viviana Bono, Betti Venneri, Mariangiola Dezani-Ciancaglini

Publication date: 4 July 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1640625

Mathematics Subject Classification ID

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

Related Items (1)

A Gentle Introduction to Multiparty Asynchronous Session Types

Uses Software

• AIOCJ

Cites Work

• Unnamed Item
• Event-based run-time adaptation in communication-centric systems
• Self-adaptation and secure information flow in multiparty communications
• Subtyping for session types in the pi calculus
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Dynamic multirole session types
• Global progress for dynamically interleaved multiparty sessions

This page was built for publication: Data-driven adaptation for smart sessions