Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386516042> ?p ?o ?g. }
- W4386516042 endingPage "135" @default.
- W4386516042 startingPage "110" @default.
- W4386516042 abstract "Specifications are a necessary reference point for correctness arguments. Top-down descriptions of concurrent programs require a way of recording information about the environment in which the component will be required to function. It was shown in the 1980s that adding rely and guarantee conditions to pre and post conditions could support formal specification and reasoning about a class of concurrent systems. More recent research has both widened the class of specifications to include progress requirements and facilitated mechanisation of proofs. This paper describes the algebraic underpinnings that have made this possible. Particular attention is paid to notions of atomicity." @default.
- W4386516042 created "2023-09-08" @default.
- W4386516042 creator A5011068286 @default.
- W4386516042 creator A5053935611 @default.
- W4386516042 creator A5054584529 @default.
- W4386516042 date "2023-01-01" @default.
- W4386516042 modified "2023-10-16" @default.
- W4386516042 title "Specifying and Reasoning About Shared-Variable Concurrency" @default.
- W4386516042 cites W1497559908 @default.
- W4386516042 cites W1552367747 @default.
- W4386516042 cites W1596781519 @default.
- W4386516042 cites W1607674807 @default.
- W4386516042 cites W1789713128 @default.
- W4386516042 cites W1812404936 @default.
- W4386516042 cites W1819989006 @default.
- W4386516042 cites W1822847061 @default.
- W4386516042 cites W1964727056 @default.
- W4386516042 cites W1972316716 @default.
- W4386516042 cites W1990092944 @default.
- W4386516042 cites W1998133185 @default.
- W4386516042 cites W2008590694 @default.
- W4386516042 cites W2011444209 @default.
- W4386516042 cites W2012691152 @default.
- W4386516042 cites W2020156267 @default.
- W4386516042 cites W2023808162 @default.
- W4386516042 cites W2028010419 @default.
- W4386516042 cites W2045183833 @default.
- W4386516042 cites W2048467032 @default.
- W4386516042 cites W2053843943 @default.
- W4386516042 cites W2061841985 @default.
- W4386516042 cites W2065129483 @default.
- W4386516042 cites W2075373350 @default.
- W4386516042 cites W2090551028 @default.
- W4386516042 cites W2096490078 @default.
- W4386516042 cites W2103412683 @default.
- W4386516042 cites W2104255209 @default.
- W4386516042 cites W2110846749 @default.
- W4386516042 cites W2111593536 @default.
- W4386516042 cites W2132761501 @default.
- W4386516042 cites W2132957297 @default.
- W4386516042 cites W2140926706 @default.
- W4386516042 cites W2142118968 @default.
- W4386516042 cites W2144738461 @default.
- W4386516042 cites W2234237245 @default.
- W4386516042 cites W2236913981 @default.
- W4386516042 cites W2293609693 @default.
- W4386516042 cites W23903359 @default.
- W4386516042 cites W2475115935 @default.
- W4386516042 cites W2776176937 @default.
- W4386516042 cites W2809469697 @default.
- W4386516042 cites W2938467268 @default.
- W4386516042 cites W2963544244 @default.
- W4386516042 cites W2971448699 @default.
- W4386516042 cites W2987907651 @default.
- W4386516042 cites W2991353706 @default.
- W4386516042 cites W3127084637 @default.
- W4386516042 cites W3212596895 @default.
- W4386516042 cites W4251912342 @default.
- W4386516042 cites W4317804541 @default.
- W4386516042 cites W4382655645 @default.
- W4386516042 doi "https://doi.org/10.1007/978-3-031-40436-8_5" @default.
- W4386516042 hasPublicationYear "2023" @default.
- W4386516042 type Work @default.
- W4386516042 citedByCount "0" @default.
- W4386516042 crossrefType "book-chapter" @default.
- W4386516042 hasAuthorship W4386516042A5011068286 @default.
- W4386516042 hasAuthorship W4386516042A5053935611 @default.
- W4386516042 hasAuthorship W4386516042A5054584529 @default.
- W4386516042 hasConcept C108710211 @default.
- W4386516042 hasConcept C120314980 @default.
- W4386516042 hasConcept C154945302 @default.
- W4386516042 hasConcept C188045909 @default.
- W4386516042 hasConcept C193702766 @default.
- W4386516042 hasConcept C199360897 @default.
- W4386516042 hasConcept C2524010 @default.
- W4386516042 hasConcept C2777212361 @default.
- W4386516042 hasConcept C33923547 @default.
- W4386516042 hasConcept C41008148 @default.
- W4386516042 hasConcept C55439883 @default.
- W4386516042 hasConcept C75949130 @default.
- W4386516042 hasConcept C80444323 @default.
- W4386516042 hasConcept C84511453 @default.
- W4386516042 hasConceptScore W4386516042C108710211 @default.
- W4386516042 hasConceptScore W4386516042C120314980 @default.
- W4386516042 hasConceptScore W4386516042C154945302 @default.
- W4386516042 hasConceptScore W4386516042C188045909 @default.
- W4386516042 hasConceptScore W4386516042C193702766 @default.
- W4386516042 hasConceptScore W4386516042C199360897 @default.
- W4386516042 hasConceptScore W4386516042C2524010 @default.
- W4386516042 hasConceptScore W4386516042C2777212361 @default.
- W4386516042 hasConceptScore W4386516042C33923547 @default.
- W4386516042 hasConceptScore W4386516042C41008148 @default.
- W4386516042 hasConceptScore W4386516042C55439883 @default.
- W4386516042 hasConceptScore W4386516042C75949130 @default.
- W4386516042 hasConceptScore W4386516042C80444323 @default.
- W4386516042 hasConceptScore W4386516042C84511453 @default.
- W4386516042 hasLocation W43865160421 @default.
- W4386516042 hasOpenAccess W4386516042 @default.