Dynamic multirole session types

DOI10.1145/1926385.1926435zbMath1284.68049OpenAlexW4240807674MaRDI QIDQ5408562

Nobuko Yoshida, Pierre-Malo Deniélou

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926435

zbMATH Keywords

auctionmobile processessession typesmultipartypeer-to-peercommunicationsrolesdynamic protocolsjoin-leave

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (18)

Data-driven adaptation for smart sessions ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ⋮ Dynamic role authorization in multiparty conversations ⋮ Event structure semantics for multiparty sessions ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Unnamed Item ⋮ Lightening global types ⋮ An abstract framework for choreographic testing ⋮ Monitoring networks through multiparty session types ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A coordination protocol language for power grid operation control ⋮ Global types with internal delegation ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ A Type Theory for Robust Failure Handling in Distributed Systems ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

This page was built for publication: Dynamic multirole session types