A dynamic temporal logic for quality of service in choreographic models

DOI10.1007/978-3-031-47963-2_9MaRDI QIDQ6605346

Carlos G. López Pombo, Emilio Tuosto, Agustín E. Martinez Suñé

Publication date: 13 September 2024

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Monitoring networks through multiparty session types
• The temporal semantics of concurrent programs
• Dynamic linear time temporal logic
• Statically and dynamically verifiable SLA metrics
• Deciding choreography realizability
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• On Communicating Finite-State Machines
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A dynamic temporal logic for quality of service in choreographic models