Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028367152> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2028367152 endingPage "52" @default.
- W2028367152 startingPage "23" @default.
- W2028367152 abstract "Modular specification and compositional verification of the context management closing procedure of Xpress Transfer Protocol (XTP Protocol Definition, Revision 3.6) in style of Lamport's Temporal Logic of Actions is considered. It is assumed that a full-duplex association over a pair of lossy channels between two contexts on different hosts is being closed, such that any data for that connection have already been transmitted successfully to the hosts. Thus, the case of the closing procedure is considered where both contexts are active and synchronized initially, and only control messages have to be sent until the association is closed." @default.
- W2028367152 created "2016-06-24" @default.
- W2028367152 creator A5005386449 @default.
- W2028367152 creator A5062086504 @default.
- W2028367152 date "1997-07-01" @default.
- W2028367152 modified "2023-09-28" @default.
- W2028367152 title "Verification of XTP context management closing procedure in style of TLA" @default.
- W2028367152 cites W1581632202 @default.
- W2028367152 cites W1675507648 @default.
- W2028367152 cites W1857327297 @default.
- W2028367152 cites W2015688007 @default.
- W2028367152 cites W2035845010 @default.
- W2028367152 cites W2093916942 @default.
- W2028367152 cites W2122070588 @default.
- W2028367152 cites W2151378917 @default.
- W2028367152 cites W2162950104 @default.
- W2028367152 cites W2167630967 @default.
- W2028367152 cites W2293400264 @default.
- W2028367152 cites W26379716 @default.
- W2028367152 doi "https://doi.org/10.1016/s0167-6423(96)00028-7" @default.
- W2028367152 hasPublicationYear "1997" @default.
- W2028367152 type Work @default.
- W2028367152 sameAs 2028367152 @default.
- W2028367152 citedByCount "0" @default.
- W2028367152 crossrefType "journal-article" @default.
- W2028367152 hasAuthorship W2028367152A5005386449 @default.
- W2028367152 hasAuthorship W2028367152A5062086504 @default.
- W2028367152 hasConcept C101468663 @default.
- W2028367152 hasConcept C110251889 @default.
- W2028367152 hasConcept C151730666 @default.
- W2028367152 hasConcept C17744445 @default.
- W2028367152 hasConcept C199360897 @default.
- W2028367152 hasConcept C199539241 @default.
- W2028367152 hasConcept C25016198 @default.
- W2028367152 hasConcept C2778775528 @default.
- W2028367152 hasConcept C2779343474 @default.
- W2028367152 hasConcept C41008148 @default.
- W2028367152 hasConcept C86803240 @default.
- W2028367152 hasConceptScore W2028367152C101468663 @default.
- W2028367152 hasConceptScore W2028367152C110251889 @default.
- W2028367152 hasConceptScore W2028367152C151730666 @default.
- W2028367152 hasConceptScore W2028367152C17744445 @default.
- W2028367152 hasConceptScore W2028367152C199360897 @default.
- W2028367152 hasConceptScore W2028367152C199539241 @default.
- W2028367152 hasConceptScore W2028367152C25016198 @default.
- W2028367152 hasConceptScore W2028367152C2778775528 @default.
- W2028367152 hasConceptScore W2028367152C2779343474 @default.
- W2028367152 hasConceptScore W2028367152C41008148 @default.
- W2028367152 hasConceptScore W2028367152C86803240 @default.
- W2028367152 hasIssue "1-2" @default.
- W2028367152 hasLocation W20283671521 @default.
- W2028367152 hasOpenAccess W2028367152 @default.
- W2028367152 hasPrimaryLocation W20283671521 @default.
- W2028367152 hasRelatedWork W1515452107 @default.
- W2028367152 hasRelatedWork W1551042955 @default.
- W2028367152 hasRelatedWork W1583364777 @default.
- W2028367152 hasRelatedWork W1597801409 @default.
- W2028367152 hasRelatedWork W2150564256 @default.
- W2028367152 hasRelatedWork W2151898527 @default.
- W2028367152 hasRelatedWork W2774415564 @default.
- W2028367152 hasRelatedWork W47563837 @default.
- W2028367152 hasRelatedWork W1894736207 @default.
- W2028367152 hasRelatedWork W1949742178 @default.
- W2028367152 hasVolume "29" @default.
- W2028367152 isParatext "false" @default.
- W2028367152 isRetracted "false" @default.
- W2028367152 magId "2028367152" @default.
- W2028367152 workType "article" @default.