Matches in SemOpenAlex for { <https://semopenalex.org/work/W2241505402> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2241505402 endingPage "684" @default.
- W2241505402 startingPage "682" @default.
- W2241505402 abstract "본 논문에서는 정형기법의 일종인 Process Algebra (ACSR-VP)를 이용하여 Distributed Algorithm 중 하나인 Leader-Election Algorithm 의 명세를 작성하고 검증하는 방법을 제시한다. Raynal[3]이 제시한 Chang 의 Leader-Election Algorithm 에 따라 명세를 작성, 검증해 본 결과 알고리즘에 오류가 있음을 찾고 올바른 알고리즘을 제시한다." @default.
- W2241505402 created "2016-06-24" @default.
- W2241505402 creator A5000385308 @default.
- W2241505402 creator A5091005224 @default.
- W2241505402 date "1998-04-01" @default.
- W2241505402 modified "2023-09-23" @default.
- W2241505402 title "Process Algebra를 이용한 Chang의 Leader Election Algorithm의 검증" @default.
- W2241505402 cites W2190821766 @default.
- W2241505402 cites W2263173731 @default.
- W2241505402 hasPublicationYear "1998" @default.
- W2241505402 type Work @default.
- W2241505402 sameAs 2241505402 @default.
- W2241505402 citedByCount "0" @default.
- W2241505402 crossrefType "journal-article" @default.
- W2241505402 hasAuthorship W2241505402A5000385308 @default.
- W2241505402 hasAuthorship W2241505402A5091005224 @default.
- W2241505402 hasConcept C11413529 @default.
- W2241505402 hasConcept C136119220 @default.
- W2241505402 hasConcept C161771561 @default.
- W2241505402 hasConcept C199360897 @default.
- W2241505402 hasConcept C202444582 @default.
- W2241505402 hasConcept C33923547 @default.
- W2241505402 hasConcept C41008148 @default.
- W2241505402 hasConcept C80444323 @default.
- W2241505402 hasConcept C98045186 @default.
- W2241505402 hasConceptScore W2241505402C11413529 @default.
- W2241505402 hasConceptScore W2241505402C136119220 @default.
- W2241505402 hasConceptScore W2241505402C161771561 @default.
- W2241505402 hasConceptScore W2241505402C199360897 @default.
- W2241505402 hasConceptScore W2241505402C202444582 @default.
- W2241505402 hasConceptScore W2241505402C33923547 @default.
- W2241505402 hasConceptScore W2241505402C41008148 @default.
- W2241505402 hasConceptScore W2241505402C80444323 @default.
- W2241505402 hasConceptScore W2241505402C98045186 @default.
- W2241505402 hasLocation W22415054021 @default.
- W2241505402 hasOpenAccess W2241505402 @default.
- W2241505402 hasPrimaryLocation W22415054021 @default.
- W2241505402 hasVolume "25" @default.
- W2241505402 isParatext "false" @default.
- W2241505402 isRetracted "false" @default.
- W2241505402 magId "2241505402" @default.
- W2241505402 workType "article" @default.