Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

DOI10.1007/S10703-014-0218-8zbMATH Open1341.68118OpenAlexW2005274596WikidataQ120968873 ScholiaQ120968873MaRDI QIDQ888409FDOQ888409

Authors: Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida 

Publication date: 30 October 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-014-0218-8

Recommendations

• Timed runtime monitoring for multiparty conversations
• Monitoring networks through multiparty session types
• Multiparty asynchronous session types
• Multiparty Asynchronous Session Types
• Multiparty session actors

zbMATH Keywords

distributed systemssession typesPythonruntime monitoring

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A Calculus for Orchestration of Web Services
• Multiparty session types meet communicating automata
• Multiparty asynchronous session types
• Monitoring networks through multiparty session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Validation and verification of web services choreographies by using timed automata
• The Conversation Calculus: A Model of Service-Oriented Computation
• Structured Interactional Exceptions in Session Types
• A calculus for long-running transactions.
• Global escape in multiparty sessions
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Exception handling for copyless messaging

Cited In (13)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple library implementation of binary sessions
• Reversibility in session-based concurrency: a fresh look
• Communicating finite state machines and an extensible toolchain for multiparty session types
• Monitoring networks through multiparty session types
• Fault-tolerant multiparty session types
• Linearity, Control Effects, and Behavioral Types
• Timed runtime monitoring for multiparty conversations
• A Debugger-Cooperative Higher-Order Contract System in Python
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Applied Choreographies

Uses Software

• COWS
• Python
• Scribble
• SAVARA
• JBoss
• GitHub

This page was built for publication: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

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