Christoph Haase ; Sylvain Schmitz ; Philippe Schnoebelen - The Power of Priority Channel Systems

lmcs:1049 - Logical Methods in Computer Science, December 3, 2014, Volume 10, Issue 4 - https://doi.org/10.2168/LMCS-10(4:4)2014
The Power of Priority Channel Systems

Authors: Christoph Haase ORCID-iD; Sylvain Schmitz ORCID-iD; Philippe Schnoebelen

    We introduce Priority Channel Systems, a new class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messages preceding them in the fifo communication buffers. The decidability of safety and inevitability properties is shown via the introduction of a priority embedding, a well-quasi-ordering that has not previously been used in well-structured systems. We then show how Priority Channel Systems can compute Fast-Growing functions and prove that the aforementioned verification problems are $\mathbf{F}_{\varepsilon_{0}}$-complete.


    Volume: Volume 10, Issue 4
    Published on: December 3, 2014
    Accepted on: June 25, 2015
    Submitted on: March 29, 2014
    Keywords: Computer Science - Logic in Computer Science

    Linked data

    Source : ScholeXplorer IsCitedBy DOI 10.4230/lipics.concur.2022.17
    • 10.4230/lipics.concur.2022.17
    Complexity of Coverability in Depth-Bounded Processes
    Balasubramanian, A. R. ;

    12 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 612 times.
    This article's PDF has been downloaded 312 times.