Monitoring networks through multiparty session types
DOI10.1016/J.TCS.2017.02.009zbMATH Open1359.68215OpenAlexW59370666MaRDI QIDQ517050FDOQ517050
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)
Full work available at URL: https://doi.org/10.1016/j.tcs.2017.02.009
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Multiparty session types meet communicating automata
- Multiparty asynchronous session types
- A brief account of runtime verification
- Types and programing languages
- Timed multiparty session types
- Dynamic multirole session types
- On reduction-based process semantics
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A theory of design-by-contract for distributed multiparty interactions
- Validation and verification of web services choreographies by using timed automata
- Title not available (Why is that?)
- Specifying stateful asynchronous properties for distributed programs
- Nested protocols in session types
- Provably correct runtime monitoring
- Monitors and blame assignment for higher-order session types
- Global escape in multiparty sessions
- Model-checking in-lined reference monitors
- On the expressiveness of multiparty sessions
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Cited In (22)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- 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
- On first-order runtime enforcement of branching-time properties
- Timed runtime monitoring for multiparty conversations
- Consistently-detecting monitors
- Interaction-based offline runtime verification of distributed systems
- A theory of design-by-contract for distributed multiparty interactions
Uses Software
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)
