Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567720588> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1567720588 abstract "Abstract : An algorithm for detecting and recovering from deadlock in a system using remote procedure calls is presented, along with a proof of correctness. The proof uses the I/O Automata model of Lynch and Tuttle. First, correctness conditions for the problem are given in terms of I/O Automata. Next, a high- level graph-theoretic representation of the algorithm is shown to be correct. then a lower-level formulation of the algorithm, taking into account its distributed nature, is shown to be equivalent to the higher-level representation, and thus correct. In giving the correctness conditions, we introduce client automata, which model the behavior of the user's program, and allow almost all details of this user program to be suppressed at both specification and proof time. To simplify the proof of the high-level version of the algorithm, safety properties are proved with a simplified version of the algorithm. Then, the algorithm is transformed to the full version, and it is argued that the safety properties hold for the transformed version. A new technique that can be used either for expanding the number of algorithms to which a proof applies or for simplifying the proof that a lower-level algorithm solves the same problem as a high-level one is presented." @default.
- W1567720588 created "2016-06-24" @default.
- W1567720588 creator A5073384513 @default.
- W1567720588 date "1990-01-01" @default.
- W1567720588 modified "2023-09-27" @default.
- W1567720588 title "A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls" @default.
- W1567720588 hasPublicationYear "1990" @default.
- W1567720588 type Work @default.
- W1567720588 sameAs 1567720588 @default.
- W1567720588 citedByCount "0" @default.
- W1567720588 crossrefType "dissertation" @default.
- W1567720588 hasAuthorship W1567720588A5073384513 @default.
- W1567720588 hasConcept C112505250 @default.
- W1567720588 hasConcept C11413529 @default.
- W1567720588 hasConcept C132525143 @default.
- W1567720588 hasConcept C159023740 @default.
- W1567720588 hasConcept C17744445 @default.
- W1567720588 hasConcept C199360897 @default.
- W1567720588 hasConcept C199539241 @default.
- W1567720588 hasConcept C2776359362 @default.
- W1567720588 hasConcept C41008148 @default.
- W1567720588 hasConcept C55439883 @default.
- W1567720588 hasConcept C80444323 @default.
- W1567720588 hasConcept C94625758 @default.
- W1567720588 hasConceptScore W1567720588C112505250 @default.
- W1567720588 hasConceptScore W1567720588C11413529 @default.
- W1567720588 hasConceptScore W1567720588C132525143 @default.
- W1567720588 hasConceptScore W1567720588C159023740 @default.
- W1567720588 hasConceptScore W1567720588C17744445 @default.
- W1567720588 hasConceptScore W1567720588C199360897 @default.
- W1567720588 hasConceptScore W1567720588C199539241 @default.
- W1567720588 hasConceptScore W1567720588C2776359362 @default.
- W1567720588 hasConceptScore W1567720588C41008148 @default.
- W1567720588 hasConceptScore W1567720588C55439883 @default.
- W1567720588 hasConceptScore W1567720588C80444323 @default.
- W1567720588 hasConceptScore W1567720588C94625758 @default.
- W1567720588 hasLocation W15677205881 @default.
- W1567720588 hasOpenAccess W1567720588 @default.
- W1567720588 hasPrimaryLocation W15677205881 @default.
- W1567720588 hasRelatedWork W1502713995 @default.
- W1567720588 hasRelatedWork W1514264265 @default.
- W1567720588 hasRelatedWork W1543735803 @default.
- W1567720588 hasRelatedWork W1671661949 @default.
- W1567720588 hasRelatedWork W1857503509 @default.
- W1567720588 hasRelatedWork W1971463038 @default.
- W1567720588 hasRelatedWork W1990582045 @default.
- W1567720588 hasRelatedWork W2000302396 @default.
- W1567720588 hasRelatedWork W2034565311 @default.
- W1567720588 hasRelatedWork W2054585068 @default.
- W1567720588 hasRelatedWork W2063945695 @default.
- W1567720588 hasRelatedWork W2213886569 @default.
- W1567720588 hasRelatedWork W2372553364 @default.
- W1567720588 hasRelatedWork W2385507630 @default.
- W1567720588 hasRelatedWork W2496462108 @default.
- W1567720588 hasRelatedWork W2505227389 @default.
- W1567720588 hasRelatedWork W2582584164 @default.
- W1567720588 hasRelatedWork W2796208845 @default.
- W1567720588 hasRelatedWork W2804951778 @default.
- W1567720588 hasRelatedWork W59785199 @default.
- W1567720588 isParatext "false" @default.
- W1567720588 isRetracted "false" @default.
- W1567720588 magId "1567720588" @default.
- W1567720588 workType "dissertation" @default.