Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986669897> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1986669897 endingPage "740" @default.
- W1986669897 startingPage "713" @default.
- W1986669897 abstract "Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel systems (LCS) have been proposed. In an LCS the communication channels are modelled as FIFO buffers which are unbounded, but also unreliable in the sense that they can nondeterministically lose messages. Recently, several attempts have been made to study probabilistic lossy channel systems (PLCS) in which the probability of losing messages is taken into account and the following qualitative model checking problem is investigated: to verify whether a given property holds with probability one. Here we consider a more challenging problem, namely to calculate the probability by which a certain property is satisfied. Our main result is an algorithm for the following Quantitative model checking problem: Instance: A PLCS, its state s, a finite state ω-automaton A, and a rational θ > 0. Task:Find a rational r such that the probability of the set of computations that start at s and are accepted by A is between r and r + θ." @default.
- W1986669897 created "2016-06-24" @default.
- W1986669897 creator A5007681536 @default.
- W1986669897 date "2006-05-01" @default.
- W1986669897 modified "2023-09-27" @default.
- W1986669897 title "Quantitative analysis of probabilistic lossy channel systems" @default.
- W1986669897 cites W1496256885 @default.
- W1986669897 cites W1525935082 @default.
- W1986669897 cites W1560050980 @default.
- W1986669897 cites W1561838634 @default.
- W1986669897 cites W1903527352 @default.
- W1986669897 cites W1967174286 @default.
- W1986669897 cites W1972203711 @default.
- W1986669897 cites W1985925577 @default.
- W1986669897 cites W1987814265 @default.
- W1986669897 cites W2017872109 @default.
- W1986669897 cites W2025970201 @default.
- W1986669897 cites W2076508310 @default.
- W1986669897 cites W2096610849 @default.
- W1986669897 cites W2123160677 @default.
- W1986669897 doi "https://doi.org/10.1016/j.ic.2005.11.004" @default.
- W1986669897 hasPublicationYear "2006" @default.
- W1986669897 type Work @default.
- W1986669897 sameAs 1986669897 @default.
- W1986669897 citedByCount "12" @default.
- W1986669897 countsByYear W19866698972012 @default.
- W1986669897 countsByYear W19866698972013 @default.
- W1986669897 countsByYear W19866698972018 @default.
- W1986669897 crossrefType "journal-article" @default.
- W1986669897 hasAuthorship W1986669897A5007681536 @default.
- W1986669897 hasBestOaLocation W19866698971 @default.
- W1986669897 hasConcept C105795698 @default.
- W1986669897 hasConcept C110251889 @default.
- W1986669897 hasConcept C111472728 @default.
- W1986669897 hasConcept C112505250 @default.
- W1986669897 hasConcept C11413529 @default.
- W1986669897 hasConcept C127162648 @default.
- W1986669897 hasConcept C138885662 @default.
- W1986669897 hasConcept C149441793 @default.
- W1986669897 hasConcept C154945302 @default.
- W1986669897 hasConcept C165021410 @default.
- W1986669897 hasConcept C167822520 @default.
- W1986669897 hasConcept C177264268 @default.
- W1986669897 hasConcept C189950617 @default.
- W1986669897 hasConcept C199360897 @default.
- W1986669897 hasConcept C2777145635 @default.
- W1986669897 hasConcept C31258907 @default.
- W1986669897 hasConcept C33923547 @default.
- W1986669897 hasConcept C41008148 @default.
- W1986669897 hasConcept C45374587 @default.
- W1986669897 hasConcept C48103436 @default.
- W1986669897 hasConcept C49937458 @default.
- W1986669897 hasConcept C80444323 @default.
- W1986669897 hasConcept C9390403 @default.
- W1986669897 hasConceptScore W1986669897C105795698 @default.
- W1986669897 hasConceptScore W1986669897C110251889 @default.
- W1986669897 hasConceptScore W1986669897C111472728 @default.
- W1986669897 hasConceptScore W1986669897C112505250 @default.
- W1986669897 hasConceptScore W1986669897C11413529 @default.
- W1986669897 hasConceptScore W1986669897C127162648 @default.
- W1986669897 hasConceptScore W1986669897C138885662 @default.
- W1986669897 hasConceptScore W1986669897C149441793 @default.
- W1986669897 hasConceptScore W1986669897C154945302 @default.
- W1986669897 hasConceptScore W1986669897C165021410 @default.
- W1986669897 hasConceptScore W1986669897C167822520 @default.
- W1986669897 hasConceptScore W1986669897C177264268 @default.
- W1986669897 hasConceptScore W1986669897C189950617 @default.
- W1986669897 hasConceptScore W1986669897C199360897 @default.
- W1986669897 hasConceptScore W1986669897C2777145635 @default.
- W1986669897 hasConceptScore W1986669897C31258907 @default.
- W1986669897 hasConceptScore W1986669897C33923547 @default.
- W1986669897 hasConceptScore W1986669897C41008148 @default.
- W1986669897 hasConceptScore W1986669897C45374587 @default.
- W1986669897 hasConceptScore W1986669897C48103436 @default.
- W1986669897 hasConceptScore W1986669897C49937458 @default.
- W1986669897 hasConceptScore W1986669897C80444323 @default.
- W1986669897 hasConceptScore W1986669897C9390403 @default.
- W1986669897 hasIssue "5" @default.
- W1986669897 hasLocation W19866698971 @default.
- W1986669897 hasOpenAccess W1986669897 @default.
- W1986669897 hasPrimaryLocation W19866698971 @default.
- W1986669897 hasRelatedWork W106578878 @default.
- W1986669897 hasRelatedWork W1517416010 @default.
- W1986669897 hasRelatedWork W1551246917 @default.
- W1986669897 hasRelatedWork W1561838634 @default.
- W1986669897 hasRelatedWork W1569859040 @default.
- W1986669897 hasRelatedWork W1847774756 @default.
- W1986669897 hasRelatedWork W1903527352 @default.
- W1986669897 hasRelatedWork W2617429252 @default.
- W1986669897 hasRelatedWork W4247648311 @default.
- W1986669897 hasRelatedWork W2567296495 @default.
- W1986669897 hasVolume "204" @default.
- W1986669897 isParatext "false" @default.
- W1986669897 isRetracted "false" @default.
- W1986669897 magId "1986669897" @default.
- W1986669897 workType "article" @default.