Multiparty session actors

DOI10.23638/LMCS-13(1:17)2017MaRDI QIDQ2980982zbMATH OpenFDO

Authors Rumyana Neykova, Nobuko Yoshida

Publication date 8 May 2017

Full work available at URL https://arxiv.org/abs/1609.05687

zbMATH Keywords

actorsmessaging middlewareprotocol description languagePythonsession types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Multiparty session nets
• Efficient sessions
• Multiparty session types, beyond duality
• Dynamic multirole session types

Cited in

(10)

• Timed runtime monitoring for multiparty conversations
• Communicating finite state machines and an extensible toolchain for multiparty session types
• Open Multiparty Interaction
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Concurrent reversible sessions
• Applied Choreographies
• Stateful Behavioral Types for Active Objects
• Less is more revisited: association with global protocols and multiparty sessions
• Formalising subject reduction and progress for multiparty session processes
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Describes a project that uses

Uses Software

• Python

This page was built for publication: Multiparty session actors

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