Monitoring networks through multiparty session types
From MaRDI portal
Publication:517050
DOI10.1016/J.TCS.2017.02.009zbMath1359.68215OpenAlexW59370666MaRDI QIDQ517050
Nobuko Yoshida, Tzu-Chun Chen, Kohei Honda, Laura Bocchi, Romain Demangeon
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
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 (17)
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Event-based run-time adaptation in communication-centric systems ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Timed runtime monitoring for multiparty conversations ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Synthesising correct concurrent runtime monitors ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ On first-order runtime enforcement of branching-time properties ⋮ Compositional runtime enforcement revisited ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Selective monitoring ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A theory of monitors ⋮ Consistently-detecting monitors ⋮ Monitoring for Silent Actions ⋮ On bidirectional runtime enforcement
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Validation and verification of web services choreographies by using timed automata
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- On reduction-based process semantics
- A brief account of runtime verification
- Provably correct runtime monitoring
- Monitors and blame assignment for higher-order session types
- Multiparty Session Types Meet Communicating Automata
- Specifying Stateful Asynchronous Properties for Distributed Programs
- Nested Protocols in Session Types
- Multiparty asynchronous session types
- Timed Multiparty Session Types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Model-Checking In-Lined Reference Monitors
- Dynamic multirole session types
This page was built for publication: Monitoring networks through multiparty session types