Matches in SemOpenAlex for { <https://semopenalex.org/work/W1485347574> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1485347574 endingPage "465" @default.
- W1485347574 startingPage "445" @default.
- W1485347574 abstract "Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. Several probabilistic versions of these systems have been proposed in recent years, with the two aims of modeling more faithfully the losses of messages, and circumventing undecidabilities by some kind of randomization. We survey these proposals and the verification techniques they support." @default.
- W1485347574 created "2016-06-24" @default.
- W1485347574 creator A5083815456 @default.
- W1485347574 date "2004-01-01" @default.
- W1485347574 modified "2023-09-26" @default.
- W1485347574 title "The Verification of Probabilistic Lossy Channel Systems" @default.
- W1485347574 cites W1481604828 @default.
- W1485347574 cites W1496256885 @default.
- W1485347574 cites W1497986795 @default.
- W1485347574 cites W1504187169 @default.
- W1485347574 cites W1513444661 @default.
- W1485347574 cites W1520896816 @default.
- W1485347574 cites W1525935082 @default.
- W1485347574 cites W1561838634 @default.
- W1485347574 cites W1569859040 @default.
- W1485347574 cites W1903527352 @default.
- W1485347574 cites W1967174286 @default.
- W1485347574 cites W1972203711 @default.
- W1485347574 cites W1980330971 @default.
- W1485347574 cites W1985925577 @default.
- W1485347574 cites W1987814265 @default.
- W1485347574 cites W2017872109 @default.
- W1485347574 cites W2025970201 @default.
- W1485347574 cites W2052306562 @default.
- W1485347574 cites W2053332270 @default.
- W1485347574 cites W2076508310 @default.
- W1485347574 cites W2123160677 @default.
- W1485347574 cites W2153983552 @default.
- W1485347574 cites W2668034915 @default.
- W1485347574 doi "https://doi.org/10.1007/978-3-540-24611-4_13" @default.
- W1485347574 hasPublicationYear "2004" @default.
- W1485347574 type Work @default.
- W1485347574 sameAs 1485347574 @default.
- W1485347574 citedByCount "27" @default.
- W1485347574 countsByYear W14853475742012 @default.
- W1485347574 countsByYear W14853475742013 @default.
- W1485347574 countsByYear W14853475742016 @default.
- W1485347574 crossrefType "book-chapter" @default.
- W1485347574 hasAuthorship W1485347574A5083815456 @default.
- W1485347574 hasBestOaLocation W14853475742 @default.
- W1485347574 hasConcept C127162648 @default.
- W1485347574 hasConcept C154945302 @default.
- W1485347574 hasConcept C165021410 @default.
- W1485347574 hasConcept C31258907 @default.
- W1485347574 hasConcept C41008148 @default.
- W1485347574 hasConcept C49937458 @default.
- W1485347574 hasConceptScore W1485347574C127162648 @default.
- W1485347574 hasConceptScore W1485347574C154945302 @default.
- W1485347574 hasConceptScore W1485347574C165021410 @default.
- W1485347574 hasConceptScore W1485347574C31258907 @default.
- W1485347574 hasConceptScore W1485347574C41008148 @default.
- W1485347574 hasConceptScore W1485347574C49937458 @default.
- W1485347574 hasLocation W14853475741 @default.
- W1485347574 hasLocation W14853475742 @default.
- W1485347574 hasOpenAccess W1485347574 @default.
- W1485347574 hasPrimaryLocation W14853475741 @default.
- W1485347574 hasRelatedWork W1501302278 @default.
- W1485347574 hasRelatedWork W1575659177 @default.
- W1485347574 hasRelatedWork W1603968847 @default.
- W1485347574 hasRelatedWork W1973433622 @default.
- W1485347574 hasRelatedWork W2094001143 @default.
- W1485347574 hasRelatedWork W2162332844 @default.
- W1485347574 hasRelatedWork W2327217847 @default.
- W1485347574 hasRelatedWork W2346076952 @default.
- W1485347574 hasRelatedWork W2359317704 @default.
- W1485347574 hasRelatedWork W4290792893 @default.
- W1485347574 isParatext "false" @default.
- W1485347574 isRetracted "false" @default.
- W1485347574 magId "1485347574" @default.
- W1485347574 workType "book-chapter" @default.