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
• Fault-tolerant multiparty session types
• 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 (7)

• Concurrent Reversible Sessions
• Title not available (Why is that?)
• Stateful Behavioral Types for Active Objects
• Open Multiparty Interaction
• ElixirST: a session-based type system for elixir modules
• Communicating finite state machines and an extensible toolchain for multiparty session types
• 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)