Evènement pour le groupe Séminaire Méthodes Formelles

Date 2016-06-07  11:00-12:00
TitreData Communicating Processes with Unreliable Channels 
RésuméWe extend the classical model of lossy channel systems by considering systems that operate on a finite set of variables ranging over an infinite data domain. Furthermore, each message inside a channel is equipped with a data item representing its value. Although we restrict the model by allowing the variables to be only tested for (dis-)equality, we show that the state reachability problem is undecidable. In light of this negative result, we consider bounded-phase reachability, where the processes are restricted to performing either send or receive operations during each phase. We show decidability of state reachability in this case by computing a symbolic encoding of the set of system configurations that are reachable from a given configuration. This a joint work with Parosh Abdulla and Mohammed Faouzi Atig. 
Lieusalle 178 
Orateur Aiswarya Cyriac 
UrlCMI Chennai 

Aucun document lié à cet événement.

Retour à l'index