FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3104087631> ?p ?o ?g. }

• W3104087631 abstract "Unidirectional channel systems (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is decidable for these systems, equipping them with the possibility of testing regular properties on the contents of channels makes it undecidable. Decidability is preserved when only emptiness and nonemptiness tests are considered: the proof relies on an elaborate reduction to a generalized version of Post's Embedding Problem." @default.
• W3104087631 created "2020-11-23" @default.
• W3104087631 creator A5056318238 @default.
• W3104087631 creator A5083815456 @default.
• W3104087631 creator A5085569595 @default.
• W3104087631 date "2015-04-17" @default.
• W3104087631 modified "2023-10-17" @default.
• W3104087631 title "On Reachability for Unidirectional Channel Systems Extended with Regular Tests" @default.
• W3104087631 cites W100843780 @default.
• W3104087631 cites W1494684396 @default.
• W3104087631 cites W1496958170 @default.
• W3104087631 cites W1511439447 @default.
• W3104087631 cites W1528258327 @default.
• W3104087631 cites W1553276218 @default.
• W3104087631 cites W1557879145 @default.
• W3104087631 cites W1561345922 @default.
• W3104087631 cites W1570959422 @default.
• W3104087631 cites W1580995538 @default.
• W3104087631 cites W1587560931 @default.
• W3104087631 cites W1605098591 @default.
• W3104087631 cites W1731318210 @default.
• W3104087631 cites W1790982954 @default.
• W3104087631 cites W1842117537 @default.
• W3104087631 cites W1962626429 @default.
• W3104087631 cites W1964297656 @default.
• W3104087631 cites W1967174286 @default.
• W3104087631 cites W1981600284 @default.
• W3104087631 cites W1985925577 @default.
• W3104087631 cites W1988270822 @default.
• W3104087631 cites W2017140475 @default.
• W3104087631 cites W2025970201 @default.
• W3104087631 cites W2046895474 @default.
• W3104087631 cites W2053229198 @default.
• W3104087631 cites W2063156356 @default.
• W3104087631 cites W2083176536 @default.
• W3104087631 cites W2083816928 @default.
• W3104087631 cites W2096610849 @default.
• W3104087631 cites W2123160677 @default.
• W3104087631 cites W2138781755 @default.
• W3104087631 cites W2142270469 @default.
• W3104087631 cites W2164989576 @default.
• W3104087631 cites W2169092431 @default.
• W3104087631 cites W2169114971 @default.
• W3104087631 cites W2256242912 @default.
• W3104087631 cites W2724355227 @default.
• W3104087631 cites W3104597505 @default.
• W3104087631 cites W3105504905 @default.
• W3104087631 cites W3125224867 @default.
• W3104087631 cites W830009209 @default.
• W3104087631 cites W93347328 @default.
• W3104087631 doi "https://doi.org/10.2168/lmcs-11(2:2)2015" @default.
• W3104087631 hasPublicationYear "2015" @default.
• W3104087631 type Work @default.
• W3104087631 sameAs 3104087631 @default.
• W3104087631 citedByCount "0" @default.
• W3104087631 crossrefType "journal-article" @default.
• W3104087631 hasAuthorship W3104087631A5056318238 @default.
• W3104087631 hasAuthorship W3104087631A5083815456 @default.
• W3104087631 hasAuthorship W3104087631A5085569595 @default.
• W3104087631 hasBestOaLocation W31040876311 @default.
• W3104087631 hasConcept C111335779 @default.
• W3104087631 hasConcept C11413529 @default.
• W3104087631 hasConcept C118615104 @default.
• W3104087631 hasConcept C127162648 @default.
• W3104087631 hasConcept C136643341 @default.
• W3104087631 hasConcept C153269930 @default.
• W3104087631 hasConcept C154945302 @default.
• W3104087631 hasConcept C192034797 @default.
• W3104087631 hasConcept C198104137 @default.
• W3104087631 hasConcept C199360897 @default.
• W3104087631 hasConcept C2524010 @default.
• W3104087631 hasConcept C2777145635 @default.
• W3104087631 hasConcept C2777669093 @default.
• W3104087631 hasConcept C31258907 @default.
• W3104087631 hasConcept C33923547 @default.
• W3104087631 hasConcept C41008148 @default.
• W3104087631 hasConcept C41608201 @default.
• W3104087631 hasConcept C48103436 @default.
• W3104087631 hasConcept C80444323 @default.
• W3104087631 hasConceptScore W3104087631C111335779 @default.
• W3104087631 hasConceptScore W3104087631C11413529 @default.
• W3104087631 hasConceptScore W3104087631C118615104 @default.
• W3104087631 hasConceptScore W3104087631C127162648 @default.
• W3104087631 hasConceptScore W3104087631C136643341 @default.
• W3104087631 hasConceptScore W3104087631C153269930 @default.
• W3104087631 hasConceptScore W3104087631C154945302 @default.
• W3104087631 hasConceptScore W3104087631C192034797 @default.
• W3104087631 hasConceptScore W3104087631C198104137 @default.
• W3104087631 hasConceptScore W3104087631C199360897 @default.
• W3104087631 hasConceptScore W3104087631C2524010 @default.
• W3104087631 hasConceptScore W3104087631C2777145635 @default.
• W3104087631 hasConceptScore W3104087631C2777669093 @default.
• W3104087631 hasConceptScore W3104087631C31258907 @default.
• W3104087631 hasConceptScore W3104087631C33923547 @default.
• W3104087631 hasConceptScore W3104087631C41008148 @default.
• W3104087631 hasConceptScore W3104087631C41608201 @default.
• W3104087631 hasConceptScore W3104087631C48103436 @default.
• W3104087631 hasConceptScore W3104087631C80444323 @default.
• W3104087631 hasLocation W31040876311 @default.
• W3104087631 hasLocation W31040876312 @default.

• next