Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009694173> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2009694173 endingPage "223" @default.
- W2009694173 startingPage "204" @default.
- W2009694173 abstract "Abstract Quite a number of aspects of concurrency are reflected by the inequational exchange law ( P ⁎ Q ) ; ( R ⁎ S ) ⩽ ( P ; R ) ⁎ ( Q ; S ) between sequential composition ; and concurrent composition ⁎. In particular, recent research has shown that, under a certain semantic definition, validity of this law is equivalent to that of the familiar concurrency rule for Hoare triples. Unfortunately, while the law holds in the standard model of concurrent Kleene algebra, its is not true in the relationally based setting of algebraic separation logic. However, we show that under mild conditions the reverse inequation ( P ; R ) ⁎ ( Q ; S ) ⩽ ( P ⁎ Q ) ; ( R ⁎ S ) still holds there. From this reverse exchange law we derive slightly restricted but still reasonably useful variants of the concurrency rule. Moreover, using a corresponding definition of locality, we obtain also a variant of the frame rule, where ⁎ now is interpreted as separating conjunction. These results allow using the relational setting also for modular and concurrency reasoning. Finally, we interpret the results further by discussing several variations of the approach." @default.
- W2009694173 created "2016-06-24" @default.
- W2009694173 creator A5049200172 @default.
- W2009694173 creator A5067382949 @default.
- W2009694173 date "2014-06-01" @default.
- W2009694173 modified "2023-10-11" @default.
- W2009694173 title "Concurrency and local reasoning under reverse exchange" @default.
- W2009694173 cites W1998368317 @default.
- W2009694173 cites W2085133105 @default.
- W2009694173 cites W2096490078 @default.
- W2009694173 cites W2125398300 @default.
- W2009694173 cites W2125806630 @default.
- W2009694173 cites W2130111506 @default.
- W2009694173 cites W2132761501 @default.
- W2009694173 cites W2166666675 @default.
- W2009694173 doi "https://doi.org/10.1016/j.scico.2013.07.006" @default.
- W2009694173 hasPublicationYear "2014" @default.
- W2009694173 type Work @default.
- W2009694173 sameAs 2009694173 @default.
- W2009694173 citedByCount "5" @default.
- W2009694173 countsByYear W20096941732014 @default.
- W2009694173 countsByYear W20096941732015 @default.
- W2009694173 countsByYear W20096941732016 @default.
- W2009694173 countsByYear W20096941732021 @default.
- W2009694173 crossrefType "journal-article" @default.
- W2009694173 hasAuthorship W2009694173A5049200172 @default.
- W2009694173 hasAuthorship W2009694173A5067382949 @default.
- W2009694173 hasBestOaLocation W20096941731 @default.
- W2009694173 hasConcept C173608175 @default.
- W2009694173 hasConcept C193702766 @default.
- W2009694173 hasConcept C199360897 @default.
- W2009694173 hasConcept C41008148 @default.
- W2009694173 hasConcept C80444323 @default.
- W2009694173 hasConceptScore W2009694173C173608175 @default.
- W2009694173 hasConceptScore W2009694173C193702766 @default.
- W2009694173 hasConceptScore W2009694173C199360897 @default.
- W2009694173 hasConceptScore W2009694173C41008148 @default.
- W2009694173 hasConceptScore W2009694173C80444323 @default.
- W2009694173 hasLocation W20096941731 @default.
- W2009694173 hasLocation W20096941732 @default.
- W2009694173 hasOpenAccess W2009694173 @default.
- W2009694173 hasPrimaryLocation W20096941731 @default.
- W2009694173 hasRelatedWork W1535940442 @default.
- W2009694173 hasRelatedWork W1557800075 @default.
- W2009694173 hasRelatedWork W1589913369 @default.
- W2009694173 hasRelatedWork W1590185363 @default.
- W2009694173 hasRelatedWork W2105856903 @default.
- W2009694173 hasRelatedWork W2151898527 @default.
- W2009694173 hasRelatedWork W2788685475 @default.
- W2009694173 hasRelatedWork W2808750505 @default.
- W2009694173 hasRelatedWork W3150606594 @default.
- W2009694173 hasRelatedWork W4233783224 @default.
- W2009694173 hasVolume "85" @default.
- W2009694173 isParatext "false" @default.
- W2009694173 isRetracted "false" @default.
- W2009694173 magId "2009694173" @default.
- W2009694173 workType "article" @default.