Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497125445> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1497125445 endingPage "50" @default.
- W1497125445 startingPage "41" @default.
- W1497125445 abstract "Feijen and van Gasteren have shown how to use the theory of Owicki and Gries to design concurrent programs, however, the lack of a formal theory of progress has meant that these designs are driven entirely by safety requirements. Proof of progress requirements are made post-hoc to the derivation and are operational in nature. In this paper, we describe the use of an extended theory of Owicki and Gries in concurrent program design. The extended theory incorporates a logic of progress, which provides opportunity to develop a program in a manner that gives proper consideration to progress requirements. Dekker's algorithm for two process mutual exclusion is chosen to illustrate the use of the extended theory." @default.
- W1497125445 created "2016-06-24" @default.
- W1497125445 creator A5011232663 @default.
- W1497125445 creator A5012214843 @default.
- W1497125445 date "2005-01-01" @default.
- W1497125445 modified "2023-09-26" @default.
- W1497125445 title "Concurrent program design in the extended theory of Owicki and Gries" @default.
- W1497125445 cites W1498342204 @default.
- W1497125445 cites W1526582584 @default.
- W1497125445 cites W1552647623 @default.
- W1497125445 cites W1578523300 @default.
- W1497125445 cites W1593488045 @default.
- W1497125445 cites W1601944141 @default.
- W1497125445 cites W1666576026 @default.
- W1497125445 cites W1759083992 @default.
- W1497125445 cites W1857327297 @default.
- W1497125445 cites W1965662337 @default.
- W1497125445 cites W2015688007 @default.
- W1497125445 cites W2051025480 @default.
- W1497125445 cites W2103953153 @default.
- W1497125445 hasPublicationYear "2005" @default.
- W1497125445 type Work @default.
- W1497125445 sameAs 1497125445 @default.
- W1497125445 citedByCount "0" @default.
- W1497125445 crossrefType "proceedings-article" @default.
- W1497125445 hasAuthorship W1497125445A5011232663 @default.
- W1497125445 hasAuthorship W1497125445A5012214843 @default.
- W1497125445 hasConcept C127413603 @default.
- W1497125445 hasConcept C187320778 @default.
- W1497125445 hasConcept C199343813 @default.
- W1497125445 hasConcept C2777686260 @default.
- W1497125445 hasConcept C33474566 @default.
- W1497125445 hasConcept C41008148 @default.
- W1497125445 hasConcept C539667460 @default.
- W1497125445 hasConcept C71924100 @default.
- W1497125445 hasConceptScore W1497125445C127413603 @default.
- W1497125445 hasConceptScore W1497125445C187320778 @default.
- W1497125445 hasConceptScore W1497125445C199343813 @default.
- W1497125445 hasConceptScore W1497125445C2777686260 @default.
- W1497125445 hasConceptScore W1497125445C33474566 @default.
- W1497125445 hasConceptScore W1497125445C41008148 @default.
- W1497125445 hasConceptScore W1497125445C539667460 @default.
- W1497125445 hasConceptScore W1497125445C71924100 @default.
- W1497125445 hasLocation W14971254451 @default.
- W1497125445 hasOpenAccess W1497125445 @default.
- W1497125445 hasPrimaryLocation W14971254451 @default.
- W1497125445 hasRelatedWork W1186977355 @default.
- W1497125445 hasRelatedWork W133046216 @default.
- W1497125445 hasRelatedWork W1510484179 @default.
- W1497125445 hasRelatedWork W1515127919 @default.
- W1497125445 hasRelatedWork W151844960 @default.
- W1497125445 hasRelatedWork W1582515573 @default.
- W1497125445 hasRelatedWork W1996037542 @default.
- W1497125445 hasRelatedWork W2073317789 @default.
- W1497125445 hasRelatedWork W2106131298 @default.
- W1497125445 hasRelatedWork W2166656159 @default.
- W1497125445 hasRelatedWork W2307186055 @default.
- W1497125445 hasRelatedWork W2951819004 @default.
- W1497125445 hasRelatedWork W2964922400 @default.
- W1497125445 hasRelatedWork W2982448545 @default.
- W1497125445 hasRelatedWork W2987907651 @default.
- W1497125445 hasRelatedWork W3002010599 @default.
- W1497125445 hasRelatedWork W3015304355 @default.
- W1497125445 hasRelatedWork W49646036 @default.
- W1497125445 hasRelatedWork W580100437 @default.
- W1497125445 hasRelatedWork W2884013957 @default.
- W1497125445 hasVolume "41" @default.
- W1497125445 isParatext "false" @default.
- W1497125445 isRetracted "false" @default.
- W1497125445 magId "1497125445" @default.
- W1497125445 workType "article" @default.