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

session typesPythonactorsprotocol description languagemessaging middleware

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(8)

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

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)