Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106054865> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3106054865 endingPage "22" @default.
- W3106054865 startingPage "10" @default.
- W3106054865 abstract "The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients of the component and as a starting point for refinement to an implementation of the component. We present some approaches to devising specifications, investigating different forms suitable for different contexts. We examine handling atomicity of access to data structures, blocking operations and progress properties, and transactional operations that may fail and need to be retried." @default.
- W3106054865 created "2020-11-23" @default.
- W3106054865 creator A5054584529 @default.
- W3106054865 date "2018-10-24" @default.
- W3106054865 modified "2023-10-10" @default.
- W3106054865 title "Some Challenges of Specifying Concurrent Program Components" @default.
- W3106054865 cites W1964727056 @default.
- W3106054865 cites W1965662337 @default.
- W3106054865 cites W2011444209 @default.
- W3106054865 cites W2090551028 @default.
- W3106054865 cites W2101939036 @default.
- W3106054865 cites W2111593536 @default.
- W3106054865 cites W2117694222 @default.
- W3106054865 cites W2125398300 @default.
- W3106054865 cites W2132761501 @default.
- W3106054865 cites W2293609693 @default.
- W3106054865 cites W2515255440 @default.
- W3106054865 cites W2776176937 @default.
- W3106054865 cites W2963544244 @default.
- W3106054865 cites W2964284238 @default.
- W3106054865 cites W2987907651 @default.
- W3106054865 cites W4211249494 @default.
- W3106054865 cites W4251912342 @default.
- W3106054865 doi "https://doi.org/10.4204/eptcs.282.2" @default.
- W3106054865 hasPublicationYear "2018" @default.
- W3106054865 type Work @default.
- W3106054865 sameAs 3106054865 @default.
- W3106054865 citedByCount "1" @default.
- W3106054865 countsByYear W31060548652021 @default.
- W3106054865 crossrefType "journal-article" @default.
- W3106054865 hasAuthorship W3106054865A5054584529 @default.
- W3106054865 hasBestOaLocation W31060548651 @default.
- W3106054865 hasConcept C115903868 @default.
- W3106054865 hasConcept C120314980 @default.
- W3106054865 hasConcept C120665830 @default.
- W3106054865 hasConcept C121332964 @default.
- W3106054865 hasConcept C144745244 @default.
- W3106054865 hasConcept C168167062 @default.
- W3106054865 hasConcept C188045909 @default.
- W3106054865 hasConcept C192209626 @default.
- W3106054865 hasConcept C199360897 @default.
- W3106054865 hasConcept C2524010 @default.
- W3106054865 hasConcept C28719098 @default.
- W3106054865 hasConcept C31258907 @default.
- W3106054865 hasConcept C33923547 @default.
- W3106054865 hasConcept C41008148 @default.
- W3106054865 hasConcept C75949130 @default.
- W3106054865 hasConcept C97355855 @default.
- W3106054865 hasConceptScore W3106054865C115903868 @default.
- W3106054865 hasConceptScore W3106054865C120314980 @default.
- W3106054865 hasConceptScore W3106054865C120665830 @default.
- W3106054865 hasConceptScore W3106054865C121332964 @default.
- W3106054865 hasConceptScore W3106054865C144745244 @default.
- W3106054865 hasConceptScore W3106054865C168167062 @default.
- W3106054865 hasConceptScore W3106054865C188045909 @default.
- W3106054865 hasConceptScore W3106054865C192209626 @default.
- W3106054865 hasConceptScore W3106054865C199360897 @default.
- W3106054865 hasConceptScore W3106054865C2524010 @default.
- W3106054865 hasConceptScore W3106054865C28719098 @default.
- W3106054865 hasConceptScore W3106054865C31258907 @default.
- W3106054865 hasConceptScore W3106054865C33923547 @default.
- W3106054865 hasConceptScore W3106054865C41008148 @default.
- W3106054865 hasConceptScore W3106054865C75949130 @default.
- W3106054865 hasConceptScore W3106054865C97355855 @default.
- W3106054865 hasLocation W31060548651 @default.
- W3106054865 hasLocation W31060548652 @default.
- W3106054865 hasLocation W31060548653 @default.
- W3106054865 hasOpenAccess W3106054865 @default.
- W3106054865 hasPrimaryLocation W31060548651 @default.
- W3106054865 hasRelatedWork W1582361381 @default.
- W3106054865 hasRelatedWork W1591836442 @default.
- W3106054865 hasRelatedWork W1600422503 @default.
- W3106054865 hasRelatedWork W1846078856 @default.
- W3106054865 hasRelatedWork W2001866549 @default.
- W3106054865 hasRelatedWork W2032051821 @default.
- W3106054865 hasRelatedWork W2115269980 @default.
- W3106054865 hasRelatedWork W2357517130 @default.
- W3106054865 hasRelatedWork W2914992480 @default.
- W3106054865 hasRelatedWork W4303183859 @default.
- W3106054865 hasVolume "282" @default.
- W3106054865 isParatext "false" @default.
- W3106054865 isRetracted "false" @default.
- W3106054865 magId "3106054865" @default.
- W3106054865 workType "article" @default.