Multiparty session actors

DOI10.23638/LMCS-13(1:17)2017zbMATH Open1398.68097arXiv1609.05687MaRDI QIDQ2980982FDOQ2980982

Authors: Rumyana Neykova, Nobuko Yoshida 

Publication date: 8 May 2017

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

Recommendations

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

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)

Cited In (8)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Title not available (Why is that?)
• 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

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)