Matches in SemOpenAlex for { <https://semopenalex.org/work/W1992718535> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1992718535 abstract "Distributed system protocol verification has the intrinsic problem of mechanizability of intricate reasoning pattern and/or state-space explosion. The former arises in case of theorem proving approach due to the ingenuity involved in constructing a proof and the latter is encountered in model checking approach while carrying out composition of a large number of processes that constitute a typical distributed system. In the present paper, the authors have improvised a technique combining the tableau based theorem proving approach and model checking. The process has been illustrated using the example of Leader Election Protocol in synchronous rings." @default.
- W1992718535 created "2016-06-24" @default.
- W1992718535 creator A5000320359 @default.
- W1992718535 creator A5023610212 @default.
- W1992718535 date "2011-09-01" @default.
- W1992718535 modified "2023-09-27" @default.
- W1992718535 title "Distributed system protocol verification: A modal tableau based model checking approach" @default.
- W1992718535 cites W1545794272 @default.
- W1992718535 cites W1555745065 @default.
- W1992718535 cites W1574256899 @default.
- W1992718535 cites W1983371115 @default.
- W1992718535 cites W2005236741 @default.
- W1992718535 cites W2019702515 @default.
- W1992718535 cites W2146544231 @default.
- W1992718535 cites W2611515161 @default.
- W1992718535 doi "https://doi.org/10.1109/iccct.2011.6075119" @default.
- W1992718535 hasPublicationYear "2011" @default.
- W1992718535 type Work @default.
- W1992718535 sameAs 1992718535 @default.
- W1992718535 citedByCount "2" @default.
- W1992718535 countsByYear W19927185352012 @default.
- W1992718535 crossrefType "proceedings-article" @default.
- W1992718535 hasAuthorship W1992718535A5000320359 @default.
- W1992718535 hasAuthorship W1992718535A5023610212 @default.
- W1992718535 hasConcept C105795698 @default.
- W1992718535 hasConcept C110251889 @default.
- W1992718535 hasConcept C11413529 @default.
- W1992718535 hasConcept C120314980 @default.
- W1992718535 hasConcept C142724271 @default.
- W1992718535 hasConcept C161771561 @default.
- W1992718535 hasConcept C185592680 @default.
- W1992718535 hasConcept C188027245 @default.
- W1992718535 hasConcept C199360897 @default.
- W1992718535 hasConcept C204787440 @default.
- W1992718535 hasConcept C206880738 @default.
- W1992718535 hasConcept C2780385302 @default.
- W1992718535 hasConcept C33923547 @default.
- W1992718535 hasConcept C41008148 @default.
- W1992718535 hasConcept C71139939 @default.
- W1992718535 hasConcept C71924100 @default.
- W1992718535 hasConcept C72434380 @default.
- W1992718535 hasConcept C80444323 @default.
- W1992718535 hasConcept C98045186 @default.
- W1992718535 hasConceptScore W1992718535C105795698 @default.
- W1992718535 hasConceptScore W1992718535C110251889 @default.
- W1992718535 hasConceptScore W1992718535C11413529 @default.
- W1992718535 hasConceptScore W1992718535C120314980 @default.
- W1992718535 hasConceptScore W1992718535C142724271 @default.
- W1992718535 hasConceptScore W1992718535C161771561 @default.
- W1992718535 hasConceptScore W1992718535C185592680 @default.
- W1992718535 hasConceptScore W1992718535C188027245 @default.
- W1992718535 hasConceptScore W1992718535C199360897 @default.
- W1992718535 hasConceptScore W1992718535C204787440 @default.
- W1992718535 hasConceptScore W1992718535C206880738 @default.
- W1992718535 hasConceptScore W1992718535C2780385302 @default.
- W1992718535 hasConceptScore W1992718535C33923547 @default.
- W1992718535 hasConceptScore W1992718535C41008148 @default.
- W1992718535 hasConceptScore W1992718535C71139939 @default.
- W1992718535 hasConceptScore W1992718535C71924100 @default.
- W1992718535 hasConceptScore W1992718535C72434380 @default.
- W1992718535 hasConceptScore W1992718535C80444323 @default.
- W1992718535 hasConceptScore W1992718535C98045186 @default.
- W1992718535 hasLocation W19927185351 @default.
- W1992718535 hasOpenAccess W1992718535 @default.
- W1992718535 hasPrimaryLocation W19927185351 @default.
- W1992718535 hasRelatedWork W120135115 @default.
- W1992718535 hasRelatedWork W1480105416 @default.
- W1992718535 hasRelatedWork W1499715382 @default.
- W1992718535 hasRelatedWork W1505677092 @default.
- W1992718535 hasRelatedWork W1517959189 @default.
- W1992718535 hasRelatedWork W1539201627 @default.
- W1992718535 hasRelatedWork W1541174442 @default.
- W1992718535 hasRelatedWork W1541426137 @default.
- W1992718535 hasRelatedWork W1574819315 @default.
- W1992718535 hasRelatedWork W1575138043 @default.
- W1992718535 hasRelatedWork W1575764074 @default.
- W1992718535 hasRelatedWork W1582717179 @default.
- W1992718535 hasRelatedWork W1582868218 @default.
- W1992718535 hasRelatedWork W1600796815 @default.
- W1992718535 hasRelatedWork W1982013801 @default.
- W1992718535 hasRelatedWork W2022154493 @default.
- W1992718535 hasRelatedWork W2155162307 @default.
- W1992718535 hasRelatedWork W2303594568 @default.
- W1992718535 hasRelatedWork W2382099974 @default.
- W1992718535 hasRelatedWork W2906360881 @default.
- W1992718535 isParatext "false" @default.
- W1992718535 isRetracted "false" @default.
- W1992718535 magId "1992718535" @default.
- W1992718535 workType "article" @default.