Dynamic multirole session types

DOI10.1145/1926385.1926435MaRDI QIDQ5408562zbMATH OpenOpenAlexFDO

Authors Pierre-Malo Deniélou, Nobuko Yoshida

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

auctioncommunicationsdynamic protocolsjoin-leavemobile processesmultipartypeer-to-peerrolessession types

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) 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)

Recommendations

• Parameterised Multiparty Session Types
• Multiparty session types, beyond duality
• Parameterised multiparty session types
• Multiparty asynchronous session types
• Global progress for dynamically interleaved multiparty sessions

Cited in

(31)

• Multiparty session types, beyond duality
• Efficient sessions
• A coordination protocol language for power grid operation control
• An abstract framework for choreographic testing
• Global types with internal delegation
• Reversible sessions with flexible choices
• Data-driven adaptation for smart sessions
• Event structure semantics for multiparty sessions
• Multiparty session nets
• A gentle introduction to multiparty asynchronous session types
• A type theory for robust failure handling in distributed systems
• Multiparty session actors
• Dynamic role authorization in multiparty conversations
• Multiparty asynchronous session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Lightening global types
• Multiparty symmetric sum types
• Reversible multiparty sessions with checkpoints
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Aneris: a mechanised logic for modular reasoning about distributed systems
• Concurrent reversible sessions
• Monitoring networks through multiparty session types
• scientific article; zbMATH DE number 7168313 (Why is no real title available?)
• Global progress for dynamically interleaved multiparty sessions
• Deconfined Global Types for Asynchronous Sessions
• Parameterised multiparty session types
• A predicate transformer for choreographies. Computing preconditions in choreographic programming
• Resource sharing via capability-based multiparty session types
• Global types and event structure semantics for asynchronous multiparty sessions
• Open compliance in multiparty sessions with partial typing
• Parameterized dataflow (extended abstract)

This page was built for publication: Dynamic multirole session types

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