Monitoring networks through multiparty session types

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

zbMATH Keywords

bisimulation\(\pi\)-calculusruntime verificationsession typesdynamic 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)

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

• KLAIM
• Scribble
• SPY

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