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

DOI10.1007/S10703-014-0218-8MaRDI QIDQ888409zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

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

Cites work

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

Cited in

(12)

• Communicating finite state machines and an extensible toolchain for multiparty session types
• Monitoring networks through multiparty session types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Applied Choreographies
• scientific article; zbMATH DE number 7649947 (Why is no real title available?)
• Timed runtime monitoring for multiparty conversations
• A Debugger-Cooperative Higher-Order Contract System in Python
• A simple library implementation of binary sessions
• Reversibility in session-based concurrency: a fresh look
• A gentle introduction to multiparty asynchronous session types
• Affine sessions
• Linearity, control effects, and behavioral types

Describes a project that uses

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)