Skip to main content

Meeting deadlines together

Bocchi, L., Lange, Julien, Yoshida, N. (2015) Meeting deadlines together. In: Aceto, Luca and de Frutos Escrig, David, eds. Leibniz International Proceedings in Informatics, LIPIcs. 26th International Conference on Concurrency Theory (CONCUR 2015). 42. pp. 283-296. Schloss Dagstuhl - Leibniz-Zentrum für Informatik ISBN 978-3-939897-91-0. (doi:10.4230/LIPIcs.CONCUR.2015.283) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.283

Abstract

This paper studies safety, progress, and non-zeno properties of Communicating Timed Automata (CTAs), which are timed automata (TA) extended with unbounded communication channels, and presents a procedure to build timed global specifications from systems of CTAs. We define safety and progress properties for CTAs by extending properties studied in communicating finite-state machines to the timed setting. We then study non-zenoness for CTAs; our aim is to prevent scenarios in which the participants have to execute an infinite number of actions in a finite amount of time. We propose sound and decidable conditions for these properties, and demonstrate the practicality of our approach with an implementation and experimental evaluations of our theory.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.4230/LIPIcs.CONCUR.2015.283
Divisions: Faculties > Sciences > School of Computing
Depositing User: Julien Lange
Date Deposited: 12 Jul 2017 15:10 UTC
Last Modified: 29 May 2019 19:12 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/62264 (The current URI for this page, for reference purposes)
  • Depositors only (login required):