Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520896816> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1520896816 endingPage "555" @default.
- W1520896816 startingPage "543" @default.
- W1520896816 abstract "Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. They are an important computational model because of the role they play in the algorithmic verification of communication protocols.In this paper, we show that fair termination is decidable for a large class of these systems." @default.
- W1520896816 created "2016-06-24" @default.
- W1520896816 creator A5019801315 @default.
- W1520896816 creator A5083815456 @default.
- W1520896816 date "2002-01-01" @default.
- W1520896816 modified "2023-09-27" @default.
- W1520896816 title "On Verifying Fair Lossy Channel Systems" @default.
- W1520896816 cites W1481604828 @default.
- W1520896816 cites W1497986795 @default.
- W1520896816 cites W1513444661 @default.
- W1520896816 cites W1586140256 @default.
- W1520896816 cites W1980330971 @default.
- W1520896816 cites W1985925577 @default.
- W1520896816 cites W1987814265 @default.
- W1520896816 cites W2017872109 @default.
- W1520896816 cites W2025970201 @default.
- W1520896816 cites W2123160677 @default.
- W1520896816 cites W2668034915 @default.
- W1520896816 cites W4240126131 @default.
- W1520896816 doi "https://doi.org/10.1007/3-540-45687-2_45" @default.
- W1520896816 hasPublicationYear "2002" @default.
- W1520896816 type Work @default.
- W1520896816 sameAs 1520896816 @default.
- W1520896816 citedByCount "6" @default.
- W1520896816 countsByYear W15208968162017 @default.
- W1520896816 countsByYear W15208968162018 @default.
- W1520896816 crossrefType "book-chapter" @default.
- W1520896816 hasAuthorship W1520896816A5019801315 @default.
- W1520896816 hasAuthorship W1520896816A5083815456 @default.
- W1520896816 hasBestOaLocation W15208968162 @default.
- W1520896816 hasConcept C112505250 @default.
- W1520896816 hasConcept C11413529 @default.
- W1520896816 hasConcept C120314980 @default.
- W1520896816 hasConcept C127162648 @default.
- W1520896816 hasConcept C153269930 @default.
- W1520896816 hasConcept C154945302 @default.
- W1520896816 hasConcept C165021410 @default.
- W1520896816 hasConcept C167822520 @default.
- W1520896816 hasConcept C199360897 @default.
- W1520896816 hasConcept C2777145635 @default.
- W1520896816 hasConcept C2777212361 @default.
- W1520896816 hasConcept C31258907 @default.
- W1520896816 hasConcept C41008148 @default.
- W1520896816 hasConcept C48103436 @default.
- W1520896816 hasConcept C80444323 @default.
- W1520896816 hasConceptScore W1520896816C112505250 @default.
- W1520896816 hasConceptScore W1520896816C11413529 @default.
- W1520896816 hasConceptScore W1520896816C120314980 @default.
- W1520896816 hasConceptScore W1520896816C127162648 @default.
- W1520896816 hasConceptScore W1520896816C153269930 @default.
- W1520896816 hasConceptScore W1520896816C154945302 @default.
- W1520896816 hasConceptScore W1520896816C165021410 @default.
- W1520896816 hasConceptScore W1520896816C167822520 @default.
- W1520896816 hasConceptScore W1520896816C199360897 @default.
- W1520896816 hasConceptScore W1520896816C2777145635 @default.
- W1520896816 hasConceptScore W1520896816C2777212361 @default.
- W1520896816 hasConceptScore W1520896816C31258907 @default.
- W1520896816 hasConceptScore W1520896816C41008148 @default.
- W1520896816 hasConceptScore W1520896816C48103436 @default.
- W1520896816 hasConceptScore W1520896816C80444323 @default.
- W1520896816 hasLocation W15208968161 @default.
- W1520896816 hasLocation W15208968162 @default.
- W1520896816 hasOpenAccess W1520896816 @default.
- W1520896816 hasPrimaryLocation W15208968161 @default.
- W1520896816 hasRelatedWork W1520896816 @default.
- W1520896816 hasRelatedWork W1546490938 @default.
- W1520896816 hasRelatedWork W1569859040 @default.
- W1520896816 hasRelatedWork W1903527352 @default.
- W1520896816 hasRelatedWork W1944241544 @default.
- W1520896816 hasRelatedWork W1987814265 @default.
- W1520896816 hasRelatedWork W2552215411 @default.
- W1520896816 hasRelatedWork W4247648311 @default.
- W1520896816 hasRelatedWork W4309354299 @default.
- W1520896816 hasRelatedWork W2567296495 @default.
- W1520896816 isParatext "false" @default.
- W1520896816 isRetracted "false" @default.
- W1520896816 magId "1520896816" @default.
- W1520896816 workType "book-chapter" @default.