@Article{         HaaseSchmitzSchnoebelen,
  Author        = "Haase, Christoph and Schmitz, Sylvain and Schnoebelen, Philippe",
  Abstract      = "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 F\_{\epsilon\_{0}}-complete.",
  date-added    = "2013-05-31 15:38:33 +0000",
  date-modified = "2015-09-19 17:27:53 +0000",
  EPrint        = "1301.5500",
  Keywords      = "lossy channel systems and readme",
  Month         = "01",
  Title         = "The Power of Priority Channel Systems",
  URL           = "http://arxiv.org/abs/1301.5500",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1301.5500",
  File          = "The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (0) (0) - a - a - v.pdf",
  file-2        = "The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (1) (0) - a - a - v.pdf"
}

@Article{ HaaseSchmitzSchnoebelen, Author = "Haase, Christoph and Schmitz, Sylvain and Schnoebelen, Philippe", Abstract = "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 F_{\epsilon_{0}}-complete.", date-added = "2013-05-31 15:38:33 +0000", date-modified = "2015-09-19 17:27:53 +0000", EPrint = "1301.5500", Keywords = "lossy channel systems and readme", Month = "01", Title = "The Power of Priority Channel Systems", URL = "http://arxiv.org/abs/1301.5500", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1301.5500", File = "The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (0) (0) - a - a - v.pdf", file-2 = "The Power of Priority Channel Systems - Haase, Schmitz, Schnoebelen (1) (0) - a - a - v.pdf" }