Matches in SemOpenAlex for { <https://semopenalex.org/work/W1584595026> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1584595026 abstract "A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of a channel. In this paper, we focus on channel machines with insertion errors, i.e., machines in whose channels messages can spontaneously appear. Such devices have been previously introduced in the study of Metric Temporal Logic. We consider the termination problem: are all the computations of a given insertion channel machine finite? We show that this problem has non-elementary, yet primitive recursive complexity." @default.
- W1584595026 created "2016-06-24" @default.
- W1584595026 creator A5038353868 @default.
- W1584595026 creator A5041884792 @default.
- W1584595026 creator A5068165188 @default.
- W1584595026 creator A5083815456 @default.
- W1584595026 creator A5084605938 @default.
- W1584595026 date "2008-02-01" @default.
- W1584595026 modified "2023-10-15" @default.
- W1584595026 title "On Termination for Faulty Channel Machines" @default.
- W1584595026 cites W1494173831 @default.
- W1584595026 cites W1528258327 @default.
- W1584595026 cites W1573947583 @default.
- W1584595026 cites W1580995538 @default.
- W1584595026 cites W1775249002 @default.
- W1584595026 cites W1967174286 @default.
- W1584595026 cites W1980330971 @default.
- W1584595026 cites W1985925577 @default.
- W1584595026 cites W1987814265 @default.
- W1584595026 cites W1998084650 @default.
- W1584595026 cites W2002089154 @default.
- W1584595026 cites W2017872109 @default.
- W1584595026 cites W2025970201 @default.
- W1584595026 cites W2076508310 @default.
- W1584595026 cites W2123160677 @default.
- W1584595026 cites W2160527279 @default.
- W1584595026 cites W2171697843 @default.
- W1584595026 hasPublicationYear "2008" @default.
- W1584595026 type Work @default.
- W1584595026 sameAs 1584595026 @default.
- W1584595026 citedByCount "5" @default.
- W1584595026 countsByYear W15845950262013 @default.
- W1584595026 crossrefType "proceedings-article" @default.
- W1584595026 hasAuthorship W1584595026A5038353868 @default.
- W1584595026 hasAuthorship W1584595026A5041884792 @default.
- W1584595026 hasAuthorship W1584595026A5068165188 @default.
- W1584595026 hasAuthorship W1584595026A5083815456 @default.
- W1584595026 hasAuthorship W1584595026A5084605938 @default.
- W1584595026 hasBestOaLocation W15845950261 @default.
- W1584595026 hasConcept C127162648 @default.
- W1584595026 hasConcept C31258907 @default.
- W1584595026 hasConcept C41008148 @default.
- W1584595026 hasConceptScore W1584595026C127162648 @default.
- W1584595026 hasConceptScore W1584595026C31258907 @default.
- W1584595026 hasConceptScore W1584595026C41008148 @default.
- W1584595026 hasLocation W15845950261 @default.
- W1584595026 hasLocation W15845950262 @default.
- W1584595026 hasLocation W15845950263 @default.
- W1584595026 hasLocation W15845950264 @default.
- W1584595026 hasLocation W15845950265 @default.
- W1584595026 hasOpenAccess W1584595026 @default.
- W1584595026 hasPrimaryLocation W15845950261 @default.
- W1584595026 hasRelatedWork W1596801655 @default.
- W1584595026 hasRelatedWork W2130043461 @default.
- W1584595026 hasRelatedWork W2350741829 @default.
- W1584595026 hasRelatedWork W2358668433 @default.
- W1584595026 hasRelatedWork W2376932109 @default.
- W1584595026 hasRelatedWork W2382290278 @default.
- W1584595026 hasRelatedWork W2390279801 @default.
- W1584595026 hasRelatedWork W2748952813 @default.
- W1584595026 hasRelatedWork W2899084033 @default.
- W1584595026 hasRelatedWork W2530322880 @default.
- W1584595026 isParatext "false" @default.
- W1584595026 isRetracted "false" @default.
- W1584595026 magId "1584595026" @default.
- W1584595026 workType "article" @default.