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

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)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Title not available (Why is no real title available?)
• 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
• Linearity, control effects, and behavioral types
• Affine sessions
• Monitoring networks through multiparty session types
• A gentle introduction to multiparty asynchronous session types
• Timed runtime monitoring for multiparty conversations
• A Debugger-Cooperative Higher-Order Contract System in Python
• 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)