Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247648311> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4247648311 abstract "The verification of a particular class of infinite-state systems, namely, systems consisting of finite-state processes that communicate via unbounded lossy FIFO channels, is considered. This class is able to model, e.g., link protocols such as the Alternating Bit Protocol and HDLC. For this class of systems, it is shown that several interesting verification problems are decidable by giving algorithms for verifying: the reachability problem (whether a finite set of global states is reachable from some other global state of the system); the safety property over traces, formulated as regular sets of allowed finite traces; and eventuality properties (whether all computations of a system eventually reach a given set of states). The algorithms are used to verify some idealized sliding-window protocols with reasonable time and space resources.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W4247648311 created "2022-05-12" @default.
- W4247648311 creator A5002478680 @default.
- W4247648311 creator A5009514870 @default.
- W4247648311 date "2002-12-31" @default.
- W4247648311 modified "2023-10-18" @default.
- W4247648311 title "Verifying programs with unreliable channels" @default.
- W4247648311 cites W1529349649 @default.
- W4247648311 cites W1978358700 @default.
- W4247648311 cites W1994564174 @default.
- W4247648311 cites W2017140475 @default.
- W4247648311 cites W2025970201 @default.
- W4247648311 cites W2029117638 @default.
- W4247648311 cites W2036526834 @default.
- W4247648311 cites W2054554282 @default.
- W4247648311 cites W2076508310 @default.
- W4247648311 cites W2106001218 @default.
- W4247648311 cites W2153439859 @default.
- W4247648311 doi "https://doi.org/10.1109/lics.1993.287591" @default.
- W4247648311 hasPublicationYear "2002" @default.
- W4247648311 type Work @default.
- W4247648311 citedByCount "42" @default.
- W4247648311 countsByYear W42476483112013 @default.
- W4247648311 countsByYear W42476483112014 @default.
- W4247648311 countsByYear W42476483112015 @default.
- W4247648311 countsByYear W42476483112016 @default.
- W4247648311 countsByYear W42476483112018 @default.
- W4247648311 countsByYear W42476483112019 @default.
- W4247648311 countsByYear W42476483112020 @default.
- W4247648311 countsByYear W42476483112021 @default.
- W4247648311 countsByYear W42476483112022 @default.
- W4247648311 crossrefType "proceedings-article" @default.
- W4247648311 hasAuthorship W4247648311A5002478680 @default.
- W4247648311 hasAuthorship W4247648311A5009514870 @default.
- W4247648311 hasConcept C105795698 @default.
- W4247648311 hasConcept C110251889 @default.
- W4247648311 hasConcept C11413529 @default.
- W4247648311 hasConcept C134306372 @default.
- W4247648311 hasConcept C136643341 @default.
- W4247648311 hasConcept C142724271 @default.
- W4247648311 hasConcept C153269930 @default.
- W4247648311 hasConcept C154945302 @default.
- W4247648311 hasConcept C162392398 @default.
- W4247648311 hasConcept C165021410 @default.
- W4247648311 hasConcept C167822520 @default.
- W4247648311 hasConcept C177264268 @default.
- W4247648311 hasConcept C199360897 @default.
- W4247648311 hasConcept C204787440 @default.
- W4247648311 hasConcept C2777145635 @default.
- W4247648311 hasConcept C2777212361 @default.
- W4247648311 hasConcept C2780385302 @default.
- W4247648311 hasConcept C33923547 @default.
- W4247648311 hasConcept C41008148 @default.
- W4247648311 hasConcept C48103436 @default.
- W4247648311 hasConcept C71924100 @default.
- W4247648311 hasConcept C72434380 @default.
- W4247648311 hasConcept C80444323 @default.
- W4247648311 hasConceptScore W4247648311C105795698 @default.
- W4247648311 hasConceptScore W4247648311C110251889 @default.
- W4247648311 hasConceptScore W4247648311C11413529 @default.
- W4247648311 hasConceptScore W4247648311C134306372 @default.
- W4247648311 hasConceptScore W4247648311C136643341 @default.
- W4247648311 hasConceptScore W4247648311C142724271 @default.
- W4247648311 hasConceptScore W4247648311C153269930 @default.
- W4247648311 hasConceptScore W4247648311C154945302 @default.
- W4247648311 hasConceptScore W4247648311C162392398 @default.
- W4247648311 hasConceptScore W4247648311C165021410 @default.
- W4247648311 hasConceptScore W4247648311C167822520 @default.
- W4247648311 hasConceptScore W4247648311C177264268 @default.
- W4247648311 hasConceptScore W4247648311C199360897 @default.
- W4247648311 hasConceptScore W4247648311C204787440 @default.
- W4247648311 hasConceptScore W4247648311C2777145635 @default.
- W4247648311 hasConceptScore W4247648311C2777212361 @default.
- W4247648311 hasConceptScore W4247648311C2780385302 @default.
- W4247648311 hasConceptScore W4247648311C33923547 @default.
- W4247648311 hasConceptScore W4247648311C41008148 @default.
- W4247648311 hasConceptScore W4247648311C48103436 @default.
- W4247648311 hasConceptScore W4247648311C71924100 @default.
- W4247648311 hasConceptScore W4247648311C72434380 @default.
- W4247648311 hasConceptScore W4247648311C80444323 @default.
- W4247648311 hasLocation W42476483111 @default.
- W4247648311 hasOpenAccess W4247648311 @default.
- W4247648311 hasPrimaryLocation W42476483111 @default.
- W4247648311 hasRelatedWork W1561838634 @default.
- W4247648311 hasRelatedWork W1614411949 @default.
- W4247648311 hasRelatedWork W1944241544 @default.
- W4247648311 hasRelatedWork W1987814265 @default.
- W4247648311 hasRelatedWork W2024667252 @default.
- W4247648311 hasRelatedWork W2123160677 @default.
- W4247648311 hasRelatedWork W2688386367 @default.
- W4247648311 hasRelatedWork W2803699674 @default.
- W4247648311 hasRelatedWork W4247648311 @default.
- W4247648311 hasRelatedWork W89384568 @default.
- W4247648311 isParatext "false" @default.
- W4247648311 isRetracted "false" @default.
- W4247648311 workType "article" @default.