Monitoring networks through multiparty session types

DOI10.1016/J.TCS.2017.02.009MaRDI QIDQ517050zbMATH OpenOpenAlexFDO

Authors Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Publication date 16 March 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.tcs.2017.02.009

zbMATH Keywords

\(\pi\)-calculusruntime verificationsession typesbisimulationdynamic monitoring

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty session types, beyond duality
• Multiparty asynchronous session types
• Dynamic multirole session types
• Parameterised Multiparty Session Types
• Multiparty Asynchronous Session Types

Cites work

• scientific article; zbMATH DE number 7319029 (Why is no real title available?)
• A brief account of runtime verification
• A theory of design-by-contract for distributed multiparty interactions
• Dynamic multirole session types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Global escape in multiparty sessions
• Model-checking in-lined reference monitors
• Monitors and blame assignment for higher-order session types
• Multiparty asynchronous session types
• Multiparty session types meet communicating automata
• Nested protocols in session types
• On reduction-based process semantics
• On the expressiveness of multiparty sessions
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Provably correct runtime monitoring
• Specifying stateful asynchronous properties for distributed programs
• Timed multiparty session types
• Types and programing languages
• Validation and verification of web services choreographies by using timed automata

Cited in

(22)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• A theory of design-by-contract for distributed multiparty interactions
• Secure Enforcement for Global Process Specifications
• Selective monitoring
• Computer says no: verdict explainability for runtime monitors using a local proof system
• On bidirectional runtime enforcement
• Monitoring for silent actions
• On runtime enforcement via suppressions
• Decentralized runtime verification of message sequences in message-based systems
• Compositional runtime enforcement revisited
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• A dynamic temporal logic for quality of service in choreographic models
• Selective monitoring
• Event-based run-time adaptation in communication-centric systems
• Self-adaptation and secure information flow in multiparty communications
• Monitors and blame assignment for higher-order session types
• Synthesising correct concurrent runtime monitors
• A theory of monitors
• Timed runtime monitoring for multiparty conversations
• On first-order runtime enforcement of branching-time properties
• Consistently-detecting monitors
• Interaction-based offline runtime verification of distributed systems

Describes a project that uses

Uses Software

• SPY
• Scribble
• KLAIM

This page was built for publication: Monitoring networks through multiparty session types

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