Timed runtime monitoring for multiparty conversations

DOI10.1007/s00165-017-0420-8zbMath1375.68030arXiv1408.5979OpenAlexW1989371806WikidataQ59613518 ScholiaQ59613518MaRDI QIDQ1682289

Nobuko Yoshida, Rumyana Neykova, Laura Bocchi

Publication date: 29 November 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.5979

zbMATH Keywords

verificationreal timesession typesprotocolsruntime monitoringScribble

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (10)

Session-based concurrency, declaratively ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language ⋮ Honesty by Typing ⋮ Progress-preserving Refinements of CTA ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Enforcing Availability in Failure-Aware Communicating Systems ⋮ Input urgent semantics for asynchronous timed session types

Uses Software

• Uppaal
• z3
• Stony Brook
• COWS
• Scribble
• LARVA
• SPY
• Timed Conversation

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Appraising fairness in languages for distributed programming
• Realizability and verification of MSC graphs
• Realizability of high-level message sequence charts: closing the gaps
• Timed $$\pi $$-Calculus
• Multiparty asynchronous session types
• Timed Multiparty Session Types
• Timed, Distributed, Probabilistic, Typed Processes
• C WS: A Timed Service-Oriented Calculus
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Meeting Deadlines Together
• Foundations of Software Science and Computational Structures
• Global progress for dynamically interleaved multiparty sessions
• Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
• Parameterised Multiparty Session Types

This page was built for publication: Timed runtime monitoring for multiparty conversations