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

DOI10.1007/S10703-014-0218-8zbMath1341.68118OpenAlexW2005274596WikidataQ120968873 ScholiaQ120968873MaRDI QIDQ888409

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

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

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

Related Items (12)

Applied Choreographies ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Fault-tolerant multiparty session types ⋮ Timed runtime monitoring for multiparty conversations ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Unnamed Item ⋮ A simple library implementation of binary sessions ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Monitoring networks through multiparty session types ⋮ Unnamed Item ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

Uses Software

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

Cites Work

• Unnamed Item
• Monitoring networks through multiparty session types
• Validation and verification of web services choreographies by using timed automata
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Exception handling for copyless messaging
• Multiparty Session Types Meet Communicating Automata
• Multiparty asynchronous session types
• Structured Interactional Exceptions in Session Types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• The Conversation Calculus: A Model of Service-Oriented Computation
• A Calculus for Orchestration of Web Services
• Formal Methods for Open Object-Based Distributed Systems

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