About: Priority channel system   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

A priority channel system (PCS) is a computational model where nondeterministic finite automata communicate over a faulty network. They augment lossy channel systems with a new feature — agents can mark certain messages as more important than others so they are less likely to be dropped. Initially defined by Christopher Haase et al. in 2014, they are notable in that certain LCS-related verification problems achieve a computational complexity of \(\mathbf{F}_{\varepsilon_0}\)-complete, using a complexity class analog of the fast-growing hierarchy.

AttributesValues
rdfs:label
  • Priority channel system
rdfs:comment
  • A priority channel system (PCS) is a computational model where nondeterministic finite automata communicate over a faulty network. They augment lossy channel systems with a new feature — agents can mark certain messages as more important than others so they are less likely to be dropped. Initially defined by Christopher Haase et al. in 2014, they are notable in that certain LCS-related verification problems achieve a computational complexity of \(\mathbf{F}_{\varepsilon_0}\)-complete, using a complexity class analog of the fast-growing hierarchy.
dcterms:subject
dbkwik:googology/p...iPageUsesTemplate
abstract
  • A priority channel system (PCS) is a computational model where nondeterministic finite automata communicate over a faulty network. They augment lossy channel systems with a new feature — agents can mark certain messages as more important than others so they are less likely to be dropped. Initially defined by Christopher Haase et al. in 2014, they are notable in that certain LCS-related verification problems achieve a computational complexity of \(\mathbf{F}_{\varepsilon_0}\)-complete, using a complexity class analog of the fast-growing hierarchy.
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software