Search: (WFRF:(Abdulla Parosh)) srt2:(2015-2019) >
Data Communicating ...
Data Communicating Processes with Unreliable Channels
-
- Abdulla, Parosh Aziz (author)
- Uppsala universitet,Datorteknik
-
- Cyriac, Aiswarya (author)
- Uppsala universitet,Datorteknik,Chennai Math Inst, Madras, Tamil Nadu, India.
-
- Atig, Mohamed Faouzi (author)
- Uppsala universitet,Datorteknik
-
(creator_code:org_t)
- 2016
- 2016
- English.
-
In: Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016). - 9781450343916 ; , s. 166-175
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Reachability Problem
- Lossy Channel Systems
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database