Matches in SemOpenAlex for { <https://semopenalex.org/work/W2681921221> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2681921221 endingPage "12" @default.
- W2681921221 startingPage "7" @default.
- W2681921221 abstract "Abstract The MSMIE protocol (Santoline et al., 1989) was designed to allow processors in a nuclear safety system to communicate efficiently and reliably via shared memory. Our formalization and analysis shows that the protocol lacks an important liveness property. In actual operation, timing constraints are checked to avoid potential problems. We present a modified protocol that possesses the liveness property even without such constraints. We also show how parts of the analysis were automated with the Concurrency Workbench." @default.
- W2681921221 created "2017-06-30" @default.
- W2681921221 creator A5024448854 @default.
- W2681921221 creator A5058502599 @default.
- W2681921221 date "1991-10-01" @default.
- W2681921221 modified "2023-09-26" @default.
- W2681921221 title "The Formalization and Analysis of a Communications Protocol" @default.
- W2681921221 cites W1884481057 @default.
- W2681921221 cites W2160904597 @default.
- W2681921221 doi "https://doi.org/10.1016/s1474-6670(17)51359-2" @default.
- W2681921221 hasPublicationYear "1991" @default.
- W2681921221 type Work @default.
- W2681921221 sameAs 2681921221 @default.
- W2681921221 citedByCount "3" @default.
- W2681921221 crossrefType "journal-article" @default.
- W2681921221 hasAuthorship W2681921221A5024448854 @default.
- W2681921221 hasAuthorship W2681921221A5058502599 @default.
- W2681921221 hasConcept C111472728 @default.
- W2681921221 hasConcept C120314980 @default.
- W2681921221 hasConcept C124101348 @default.
- W2681921221 hasConcept C133112747 @default.
- W2681921221 hasConcept C138885662 @default.
- W2681921221 hasConcept C142724271 @default.
- W2681921221 hasConcept C15569618 @default.
- W2681921221 hasConcept C189950617 @default.
- W2681921221 hasConcept C193702766 @default.
- W2681921221 hasConcept C199360897 @default.
- W2681921221 hasConcept C204787440 @default.
- W2681921221 hasConcept C2779145975 @default.
- W2681921221 hasConcept C2780385302 @default.
- W2681921221 hasConcept C36464697 @default.
- W2681921221 hasConcept C41008148 @default.
- W2681921221 hasConcept C41895202 @default.
- W2681921221 hasConcept C71924100 @default.
- W2681921221 hasConceptScore W2681921221C111472728 @default.
- W2681921221 hasConceptScore W2681921221C120314980 @default.
- W2681921221 hasConceptScore W2681921221C124101348 @default.
- W2681921221 hasConceptScore W2681921221C133112747 @default.
- W2681921221 hasConceptScore W2681921221C138885662 @default.
- W2681921221 hasConceptScore W2681921221C142724271 @default.
- W2681921221 hasConceptScore W2681921221C15569618 @default.
- W2681921221 hasConceptScore W2681921221C189950617 @default.
- W2681921221 hasConceptScore W2681921221C193702766 @default.
- W2681921221 hasConceptScore W2681921221C199360897 @default.
- W2681921221 hasConceptScore W2681921221C204787440 @default.
- W2681921221 hasConceptScore W2681921221C2779145975 @default.
- W2681921221 hasConceptScore W2681921221C2780385302 @default.
- W2681921221 hasConceptScore W2681921221C36464697 @default.
- W2681921221 hasConceptScore W2681921221C41008148 @default.
- W2681921221 hasConceptScore W2681921221C41895202 @default.
- W2681921221 hasConceptScore W2681921221C71924100 @default.
- W2681921221 hasIssue "13" @default.
- W2681921221 hasLocation W26819212211 @default.
- W2681921221 hasOpenAccess W2681921221 @default.
- W2681921221 hasPrimaryLocation W26819212211 @default.
- W2681921221 hasRelatedWork W1556742095 @default.
- W2681921221 hasRelatedWork W1611178753 @default.
- W2681921221 hasRelatedWork W1766737265 @default.
- W2681921221 hasRelatedWork W1984771054 @default.
- W2681921221 hasRelatedWork W2062340862 @default.
- W2681921221 hasRelatedWork W2098967901 @default.
- W2681921221 hasRelatedWork W2169480003 @default.
- W2681921221 hasRelatedWork W2361730345 @default.
- W2681921221 hasRelatedWork W2576550980 @default.
- W2681921221 hasRelatedWork W2590272914 @default.
- W2681921221 hasRelatedWork W3023577457 @default.
- W2681921221 hasRelatedWork W35137611 @default.
- W2681921221 hasRelatedWork W2759937375 @default.
- W2681921221 hasRelatedWork W2773683377 @default.
- W2681921221 hasRelatedWork W2882516883 @default.
- W2681921221 hasRelatedWork W2926111295 @default.
- W2681921221 hasVolume "24" @default.
- W2681921221 isParatext "false" @default.
- W2681921221 isRetracted "false" @default.
- W2681921221 magId "2681921221" @default.
- W2681921221 workType "article" @default.