Sökning: onr:"swepub:oai:DiVA.org:uu-311415" >
Data Communicating ...
Data Communicating Processes with Unreliable Channels
-
- Abdulla, Parosh Aziz (författare)
- Uppsala universitet,Datorteknik
-
- Cyriac, Aiswarya (författare)
- Uppsala universitet,Datorteknik,Chennai Math Inst, Madras, Tamil Nadu, India.
-
- Atig, Mohamed Faouzi (författare)
- Uppsala universitet,Datorteknik
-
(creator_code:org_t)
- 2016
- 2016
- Engelska.
-
Ingår i: Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016). - 9781450343916 ; , s. 166-175
- Relaterad länk:
-
https://urn.kb.se/re...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Reachability Problem
- Lossy Channel Systems
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas