Matches in SemOpenAlex for { <https://semopenalex.org/work/W2960457378> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2960457378 abstract "We investigate the cause of a deadlock in the implementation of a channel in a message-passing concurrency API. We model the channel implementation using the process algebra CSP, and then use the model checker FDR to find the cause of the deadlock. The bug is rather subtle, and arguably infeasible to spot by hand. We then propose a straightforward fix to the bug, and use CSP and FDR to verify this fix." @default.
- W2960457378 created "2019-07-23" @default.
- W2960457378 creator A5077303029 @default.
- W2960457378 date "2019-07-15" @default.
- W2960457378 modified "2023-09-26" @default.
- W2960457378 title "Discovering and correcting a deadlock in a channel implementation" @default.
- W2960457378 cites W1560316555 @default.
- W2960457378 cites W1882160752 @default.
- W2960457378 cites W1975483972 @default.
- W2960457378 cites W2123401374 @default.
- W2960457378 cites W2128510433 @default.
- W2960457378 cites W2139241964 @default.
- W2960457378 cites W2337451582 @default.
- W2960457378 cites W2529513861 @default.
- W2960457378 cites W2600980051 @default.
- W2960457378 cites W2809168756 @default.
- W2960457378 cites W3160274653 @default.
- W2960457378 doi "https://doi.org/10.1007/s00165-019-00487-y" @default.
- W2960457378 hasPublicationYear "2019" @default.
- W2960457378 type Work @default.
- W2960457378 sameAs 2960457378 @default.
- W2960457378 citedByCount "1" @default.
- W2960457378 countsByYear W29604573782022 @default.
- W2960457378 crossrefType "journal-article" @default.
- W2960457378 hasAuthorship W2960457378A5077303029 @default.
- W2960457378 hasBestOaLocation W29604573781 @default.
- W2960457378 hasConcept C113429609 @default.
- W2960457378 hasConcept C120314980 @default.
- W2960457378 hasConcept C127162648 @default.
- W2960457378 hasConcept C155214134 @default.
- W2960457378 hasConcept C156325763 @default.
- W2960457378 hasConcept C159023740 @default.
- W2960457378 hasConcept C161771561 @default.
- W2960457378 hasConcept C173608175 @default.
- W2960457378 hasConcept C184337299 @default.
- W2960457378 hasConcept C193702766 @default.
- W2960457378 hasConcept C199360897 @default.
- W2960457378 hasConcept C24858836 @default.
- W2960457378 hasConcept C31258907 @default.
- W2960457378 hasConcept C41008148 @default.
- W2960457378 hasConcept C75949130 @default.
- W2960457378 hasConcept C80444323 @default.
- W2960457378 hasConcept C84511453 @default.
- W2960457378 hasConcept C98045186 @default.
- W2960457378 hasConceptScore W2960457378C113429609 @default.
- W2960457378 hasConceptScore W2960457378C120314980 @default.
- W2960457378 hasConceptScore W2960457378C127162648 @default.
- W2960457378 hasConceptScore W2960457378C155214134 @default.
- W2960457378 hasConceptScore W2960457378C156325763 @default.
- W2960457378 hasConceptScore W2960457378C159023740 @default.
- W2960457378 hasConceptScore W2960457378C161771561 @default.
- W2960457378 hasConceptScore W2960457378C173608175 @default.
- W2960457378 hasConceptScore W2960457378C184337299 @default.
- W2960457378 hasConceptScore W2960457378C193702766 @default.
- W2960457378 hasConceptScore W2960457378C199360897 @default.
- W2960457378 hasConceptScore W2960457378C24858836 @default.
- W2960457378 hasConceptScore W2960457378C31258907 @default.
- W2960457378 hasConceptScore W2960457378C41008148 @default.
- W2960457378 hasConceptScore W2960457378C75949130 @default.
- W2960457378 hasConceptScore W2960457378C80444323 @default.
- W2960457378 hasConceptScore W2960457378C84511453 @default.
- W2960457378 hasConceptScore W2960457378C98045186 @default.
- W2960457378 hasLocation W29604573781 @default.
- W2960457378 hasLocation W29604573782 @default.
- W2960457378 hasOpenAccess W2960457378 @default.
- W2960457378 hasPrimaryLocation W29604573781 @default.
- W2960457378 hasRelatedWork W11669818 @default.
- W2960457378 hasRelatedWork W13834261 @default.
- W2960457378 hasRelatedWork W14360457 @default.
- W2960457378 hasRelatedWork W1446963 @default.
- W2960457378 hasRelatedWork W1701067 @default.
- W2960457378 hasRelatedWork W305416 @default.
- W2960457378 hasRelatedWork W3971356 @default.
- W2960457378 hasRelatedWork W4979087 @default.
- W2960457378 hasRelatedWork W5747143 @default.
- W2960457378 hasRelatedWork W7726063 @default.
- W2960457378 isParatext "false" @default.
- W2960457378 isRetracted "false" @default.
- W2960457378 magId "2960457378" @default.
- W2960457378 workType "article" @default.