Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103642071> ?p ?o ?g. }
- W2103642071 endingPage "15" @default.
- W2103642071 startingPage "1" @default.
- W2103642071 abstract "Abstraction is a crucial tool in specifying and justifying developments of systems. This observation is recognised in many different methods for developing sequential software; it also applies to some approaches to the formal development of concurrent systems although there its use is perhaps less uniform. The rely/guarantee approach to formal design has, for example, been shown to be capable of recording the design of complex concurrent software in a “top down” stepwise process that proceeds from abstract specification to code. In contrast, separation logics were –at least initially– motivated by reasoning about details of extant code. Such approaches can be thought of as “bottom up”. The same “top down/bottom up” distinction can be applied to “atomicity refinement” and “linearisability”. Some useful mixes of these approaches already exist and they are neither to be viewed as competitive approaches nor are they irrevocably confined by the broad categorisation. This paper reports on recent developments and presents the case for how careful use of abstractions can make it easier to marry the respective advantages of different approaches to reasoning about concurrency." @default.
- W2103642071 created "2016-06-24" @default.
- W2103642071 creator A5053935611 @default.
- W2103642071 date "2012-01-01" @default.
- W2103642071 modified "2023-09-25" @default.
- W2103642071 title "Abstraction as a Unifying Link for Formal Approaches to Concurrency" @default.
- W2103642071 cites W136533073 @default.
- W2103642071 cites W1495368328 @default.
- W2103642071 cites W1496898916 @default.
- W2103642071 cites W1540575800 @default.
- W2103642071 cites W1546568807 @default.
- W2103642071 cites W1552367747 @default.
- W2103642071 cites W1657920802 @default.
- W2103642071 cites W1699122184 @default.
- W2103642071 cites W1819989006 @default.
- W2103642071 cites W1838450363 @default.
- W2103642071 cites W1868552112 @default.
- W2103642071 cites W2004321173 @default.
- W2103642071 cites W2008132476 @default.
- W2103642071 cites W2008590694 @default.
- W2103642071 cites W2028010419 @default.
- W2103642071 cites W2048467032 @default.
- W2103642071 cites W2065129483 @default.
- W2103642071 cites W2076212401 @default.
- W2103642071 cites W2090551028 @default.
- W2103642071 cites W2101939036 @default.
- W2103642071 cites W2104275190 @default.
- W2103642071 cites W2110846749 @default.
- W2103642071 cites W2125398300 @default.
- W2103642071 cites W2132761501 @default.
- W2103642071 cites W2132957297 @default.
- W2103642071 cites W2142118968 @default.
- W2103642071 cites W2144687289 @default.
- W2103642071 cites W2151448199 @default.
- W2103642071 cites W2154617594 @default.
- W2103642071 cites W2171685273 @default.
- W2103642071 cites W2987907651 @default.
- W2103642071 cites W3146519985 @default.
- W2103642071 cites W4237593520 @default.
- W2103642071 cites W4239018153 @default.
- W2103642071 cites W4251912342 @default.
- W2103642071 cites W4254354208 @default.
- W2103642071 cites W4255198244 @default.
- W2103642071 cites W4255596025 @default.
- W2103642071 cites W4256027310 @default.
- W2103642071 doi "https://doi.org/10.1007/978-3-642-33826-7_1" @default.
- W2103642071 hasPublicationYear "2012" @default.
- W2103642071 type Work @default.
- W2103642071 sameAs 2103642071 @default.
- W2103642071 citedByCount "4" @default.
- W2103642071 countsByYear W21036420712013 @default.
- W2103642071 countsByYear W21036420712014 @default.
- W2103642071 countsByYear W21036420712015 @default.
- W2103642071 crossrefType "book-chapter" @default.
- W2103642071 hasAuthorship W2103642071A5053935611 @default.
- W2103642071 hasBestOaLocation W21036420712 @default.
- W2103642071 hasConcept C111472728 @default.
- W2103642071 hasConcept C115903868 @default.
- W2103642071 hasConcept C124304363 @default.
- W2103642071 hasConcept C138885662 @default.
- W2103642071 hasConcept C177264268 @default.
- W2103642071 hasConcept C188045909 @default.
- W2103642071 hasConcept C193702766 @default.
- W2103642071 hasConcept C199360897 @default.
- W2103642071 hasConcept C2776760102 @default.
- W2103642071 hasConcept C41008148 @default.
- W2103642071 hasConcept C75606506 @default.
- W2103642071 hasConcept C75949130 @default.
- W2103642071 hasConcept C80444323 @default.
- W2103642071 hasConcept C98045186 @default.
- W2103642071 hasConceptScore W2103642071C111472728 @default.
- W2103642071 hasConceptScore W2103642071C115903868 @default.
- W2103642071 hasConceptScore W2103642071C124304363 @default.
- W2103642071 hasConceptScore W2103642071C138885662 @default.
- W2103642071 hasConceptScore W2103642071C177264268 @default.
- W2103642071 hasConceptScore W2103642071C188045909 @default.
- W2103642071 hasConceptScore W2103642071C193702766 @default.
- W2103642071 hasConceptScore W2103642071C199360897 @default.
- W2103642071 hasConceptScore W2103642071C2776760102 @default.
- W2103642071 hasConceptScore W2103642071C41008148 @default.
- W2103642071 hasConceptScore W2103642071C75606506 @default.
- W2103642071 hasConceptScore W2103642071C75949130 @default.
- W2103642071 hasConceptScore W2103642071C80444323 @default.
- W2103642071 hasConceptScore W2103642071C98045186 @default.
- W2103642071 hasLocation W21036420711 @default.
- W2103642071 hasLocation W21036420712 @default.
- W2103642071 hasOpenAccess W2103642071 @default.
- W2103642071 hasPrimaryLocation W21036420711 @default.
- W2103642071 hasRelatedWork W1446664990 @default.
- W2103642071 hasRelatedWork W1589913369 @default.
- W2103642071 hasRelatedWork W2023785576 @default.
- W2103642071 hasRelatedWork W2103642071 @default.
- W2103642071 hasRelatedWork W2151898527 @default.
- W2103642071 hasRelatedWork W2614427934 @default.
- W2103642071 hasRelatedWork W2808750505 @default.
- W2103642071 hasRelatedWork W2911555692 @default.
- W2103642071 hasRelatedWork W2998398829 @default.
- W2103642071 hasRelatedWork W4233783224 @default.