Progress-preserving Refinements of CTA

DOI10.4230/LIPIcs.CONCUR.2018.40MaRDI QIDQ5009458

Massimo Bartoletti, Maurizio Murgia, Laura Bocchi

Publication date: 4 August 2021

Full work available at URL: https://dblp.uni-trier.de/db/conf/concur/concur2018.html#BartolettiBM18

zbMATH Keywords

message passing; protocol implementation; communicating timed automata

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Input urgent semantics for asynchronous timed session types

Uses Software

• Kronos
• Uppaal
• Erlang

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Robust synthesis for real-time systems
• Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings
• Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
• Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
• Computer aided verification. 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
• Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25--27, 2006. Proceedings
• A theory of timed automata
• Symbolic model checking for real-time systems
• Hybrid I/O automata.
• Perfect timed communication is hard
• Timed runtime monitoring for multiparty conversations
• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings.
• Undecidability of asynchronous session subtyping
• A refinement-based process algebra for timed automata
• Sampled Semantics of Timed Automata
• Full Abstraction in a Subtyped pi-Calculus with Linear Types
• A Semantic Deconstruction of Session Types
• Timed Multiparty Session Types
• Automatic Abstraction Refinement for Timed Automata
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• On Communicating Finite-State Machines
• Revisiting Timed Specification Theories: A Linear-Time Perspective
• Reachability of Communicating Timed Processes
• Meeting Deadlines Together
• Formal Methods for the Design of Real-Time Systems
• Lectures on Concurrency and Petri Nets