Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185038892> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2185038892 abstract "This paper presents the modeling and formal verification of some communication protocols for Remote Procedure Call (RPC). These protocols include Request (R) Protocol, Request Reply (RR) Protocol and Request-Reply-Acknowledgement (RRA) Protocol. We have modeled the above-mentioned protocols in Symbolic Model Verifier (SMV), a formal verification tool. In modeling of each protocol, each of the two agents (Client and Server) is modeled as a finite state machine. The common channel between these agents is modeled as a bounded queue of message. Some important features of modeled protocols are then formal verified using the SMV tools." @default.
- W2185038892 created "2016-06-24" @default.
- W2185038892 creator A5053786432 @default.
- W2185038892 date "2007-01-01" @default.
- W2185038892 modified "2023-09-26" @default.
- W2185038892 title "Modeling and Formal Verification of Communication Protocols for Remote Procedure Call" @default.
- W2185038892 cites W1518754760 @default.
- W2185038892 cites W1570032593 @default.
- W2185038892 cites W1824356490 @default.
- W2185038892 cites W1826560318 @default.
- W2185038892 cites W1975990410 @default.
- W2185038892 cites W2080267935 @default.
- W2185038892 cites W2106035061 @default.
- W2185038892 cites W2115764319 @default.
- W2185038892 cites W3010856131 @default.
- W2185038892 hasPublicationYear "2007" @default.
- W2185038892 type Work @default.
- W2185038892 sameAs 2185038892 @default.
- W2185038892 citedByCount "0" @default.
- W2185038892 crossrefType "journal-article" @default.
- W2185038892 hasAuthorship W2185038892A5053786432 @default.
- W2185038892 hasConcept C110251889 @default.
- W2185038892 hasConcept C111498074 @default.
- W2185038892 hasConcept C12269588 @default.
- W2185038892 hasConcept C142724271 @default.
- W2185038892 hasConcept C15569618 @default.
- W2185038892 hasConcept C165751822 @default.
- W2185038892 hasConcept C178489894 @default.
- W2185038892 hasConcept C199360897 @default.
- W2185038892 hasConcept C204787440 @default.
- W2185038892 hasConcept C2777880217 @default.
- W2185038892 hasConcept C2780385302 @default.
- W2185038892 hasConcept C31258907 @default.
- W2185038892 hasConcept C33884865 @default.
- W2185038892 hasConcept C38652104 @default.
- W2185038892 hasConcept C41008148 @default.
- W2185038892 hasConcept C71924100 @default.
- W2185038892 hasConcept C75606506 @default.
- W2185038892 hasConceptScore W2185038892C110251889 @default.
- W2185038892 hasConceptScore W2185038892C111498074 @default.
- W2185038892 hasConceptScore W2185038892C12269588 @default.
- W2185038892 hasConceptScore W2185038892C142724271 @default.
- W2185038892 hasConceptScore W2185038892C15569618 @default.
- W2185038892 hasConceptScore W2185038892C165751822 @default.
- W2185038892 hasConceptScore W2185038892C178489894 @default.
- W2185038892 hasConceptScore W2185038892C199360897 @default.
- W2185038892 hasConceptScore W2185038892C204787440 @default.
- W2185038892 hasConceptScore W2185038892C2777880217 @default.
- W2185038892 hasConceptScore W2185038892C2780385302 @default.
- W2185038892 hasConceptScore W2185038892C31258907 @default.
- W2185038892 hasConceptScore W2185038892C33884865 @default.
- W2185038892 hasConceptScore W2185038892C38652104 @default.
- W2185038892 hasConceptScore W2185038892C41008148 @default.
- W2185038892 hasConceptScore W2185038892C71924100 @default.
- W2185038892 hasConceptScore W2185038892C75606506 @default.
- W2185038892 hasLocation W21850388921 @default.
- W2185038892 hasOpenAccess W2185038892 @default.
- W2185038892 hasPrimaryLocation W21850388921 @default.
- W2185038892 hasRelatedWork W1501502722 @default.
- W2185038892 hasRelatedWork W1514570516 @default.
- W2185038892 hasRelatedWork W1531570503 @default.
- W2185038892 hasRelatedWork W1965164474 @default.
- W2185038892 hasRelatedWork W1979390572 @default.
- W2185038892 hasRelatedWork W2019548530 @default.
- W2185038892 hasRelatedWork W2033597054 @default.
- W2185038892 hasRelatedWork W2039853888 @default.
- W2185038892 hasRelatedWork W2070568863 @default.
- W2185038892 hasRelatedWork W2085954083 @default.
- W2185038892 hasRelatedWork W2089602107 @default.
- W2185038892 hasRelatedWork W2106027274 @default.
- W2185038892 hasRelatedWork W2114186177 @default.
- W2185038892 hasRelatedWork W2137203882 @default.
- W2185038892 hasRelatedWork W2139586936 @default.
- W2185038892 hasRelatedWork W2163429719 @default.
- W2185038892 hasRelatedWork W2186866584 @default.
- W2185038892 hasRelatedWork W2540967657 @default.
- W2185038892 hasRelatedWork W2612799490 @default.
- W2185038892 hasRelatedWork W2956668338 @default.
- W2185038892 isParatext "false" @default.
- W2185038892 isRetracted "false" @default.
- W2185038892 magId "2185038892" @default.
- W2185038892 workType "article" @default.