We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Towards Generalised Half-Duplex Systems

Abstract: FIFO automata are finite state machines communicating through FIFO queues. They can be used for instance to model distributed protocols. Due to the unboundedness of the FIFO queues, several verification problems are undecidable for these systems. In order to model-check such systems, one may look for decidable subclasses of FIFO systems. Binary half-duplex systems are systems of two FIFO automata exchanging over a half-duplex channel. They were studied by Cece and Finkel who established the decidability in polynomial time of several properties. These authors also identified some problems in generalising half-duplex systems to multi-party communications. We introduce greedy systems, as a candidate to generalise binary half-duplex systems. We show that greedy systems retain the same good properties as binary half-duplex systems, and that, in the setting of mailbox communications, greedy systems are quite closely related to a multiparty generalisation of half-duplex systems.
Comments: In Proceedings ICE 2021, arXiv:2109.14908
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
Journal reference: EPTCS 347, 2021, pp. 22-37
DOI: 10.4204/EPTCS.347.2
Cite as: arXiv:2110.00145 [cs.DC]
  (or arXiv:2110.00145v1 [cs.DC] for this version)

Submission history

From: EPTCS [view email]
[v1] Fri, 1 Oct 2021 00:48:15 GMT (35kb)

Link back to: arXiv, form interface, contact.