Matches in SemOpenAlex for { <https://semopenalex.org/work/W4317804541> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4317804541 abstract "Abstract This paper traces a relatively linear sequence of early research approaches to the formal verification of concurrent programs. It does so forwards and then backwards in time. After briefly outlining the context, the key insights from three distinct approaches from the 1970s are identified (Ashcroft/Manna, Ashcroft (solo) and Owicki). The main technical material in the paper focuses on a specific program taken from the last published of the three pieces of research (Susan Owicki’s): her own verification of her Findpos example is outlined followed by attempts at verifying the same example using the earlier approaches. Reconsidering the prior approaches on the basis of Owicki’s useful example illuminates similarities and differences between the proposals. Along the way, observations about interactions between researchers (and some “blind spots”) are noted." @default.
- W4317804541 created "2023-01-24" @default.
- W4317804541 creator A5053935611 @default.
- W4317804541 date "2023-01-23" @default.
- W4317804541 modified "2023-10-02" @default.
- W4317804541 title "Three Early Formal Approaches to the Verification of Concurrent Programs" @default.
- W4317804541 cites W1481018260 @default.
- W4317804541 cites W1526582584 @default.
- W4317804541 cites W1964727056 @default.
- W4317804541 cites W1965662337 @default.
- W4317804541 cites W2012213337 @default.
- W4317804541 cites W2032847002 @default.
- W4317804541 cites W2033914241 @default.
- W4317804541 cites W2061121751 @default.
- W4317804541 cites W2062978145 @default.
- W4317804541 cites W2066210260 @default.
- W4317804541 cites W2113074643 @default.
- W4317804541 cites W2117694222 @default.
- W4317804541 cites W2130721831 @default.
- W4317804541 cites W2132334337 @default.
- W4317804541 cites W2144687289 @default.
- W4317804541 cites W2144738461 @default.
- W4317804541 cites W2160363852 @default.
- W4317804541 cites W2234237245 @default.
- W4317804541 cites W2503470518 @default.
- W4317804541 cites W2987907651 @default.
- W4317804541 cites W2991353706 @default.
- W4317804541 cites W2991566299 @default.
- W4317804541 cites W4200437704 @default.
- W4317804541 cites W4213176313 @default.
- W4317804541 cites W4239459102 @default.
- W4317804541 cites W4244819751 @default.
- W4317804541 cites W4249538237 @default.
- W4317804541 cites W4251912342 @default.
- W4317804541 cites W4285093296 @default.
- W4317804541 doi "https://doi.org/10.1007/s11023-023-09621-5" @default.
- W4317804541 hasPublicationYear "2023" @default.
- W4317804541 type Work @default.
- W4317804541 citedByCount "2" @default.
- W4317804541 countsByYear W43178045412023 @default.
- W4317804541 crossrefType "journal-article" @default.
- W4317804541 hasAuthorship W4317804541A5053935611 @default.
- W4317804541 hasBestOaLocation W43178045411 @default.
- W4317804541 hasConcept C110099512 @default.
- W4317804541 hasConcept C111472728 @default.
- W4317804541 hasConcept C138885662 @default.
- W4317804541 hasConcept C166957645 @default.
- W4317804541 hasConcept C199360897 @default.
- W4317804541 hasConcept C24858836 @default.
- W4317804541 hasConcept C2522767166 @default.
- W4317804541 hasConcept C26517878 @default.
- W4317804541 hasConcept C2778112365 @default.
- W4317804541 hasConcept C2779343474 @default.
- W4317804541 hasConcept C38652104 @default.
- W4317804541 hasConcept C41008148 @default.
- W4317804541 hasConcept C54355233 @default.
- W4317804541 hasConcept C75606506 @default.
- W4317804541 hasConcept C80444323 @default.
- W4317804541 hasConcept C86803240 @default.
- W4317804541 hasConcept C95457728 @default.
- W4317804541 hasConceptScore W4317804541C110099512 @default.
- W4317804541 hasConceptScore W4317804541C111472728 @default.
- W4317804541 hasConceptScore W4317804541C138885662 @default.
- W4317804541 hasConceptScore W4317804541C166957645 @default.
- W4317804541 hasConceptScore W4317804541C199360897 @default.
- W4317804541 hasConceptScore W4317804541C24858836 @default.
- W4317804541 hasConceptScore W4317804541C2522767166 @default.
- W4317804541 hasConceptScore W4317804541C26517878 @default.
- W4317804541 hasConceptScore W4317804541C2778112365 @default.
- W4317804541 hasConceptScore W4317804541C2779343474 @default.
- W4317804541 hasConceptScore W4317804541C38652104 @default.
- W4317804541 hasConceptScore W4317804541C41008148 @default.
- W4317804541 hasConceptScore W4317804541C54355233 @default.
- W4317804541 hasConceptScore W4317804541C75606506 @default.
- W4317804541 hasConceptScore W4317804541C80444323 @default.
- W4317804541 hasConceptScore W4317804541C86803240 @default.
- W4317804541 hasConceptScore W4317804541C95457728 @default.
- W4317804541 hasFunder F4320319993 @default.
- W4317804541 hasLocation W43178045411 @default.
- W4317804541 hasLocation W43178045412 @default.
- W4317804541 hasOpenAccess W4317804541 @default.
- W4317804541 hasPrimaryLocation W43178045411 @default.
- W4317804541 hasRelatedWork W2028754496 @default.
- W4317804541 hasRelatedWork W2104078272 @default.
- W4317804541 hasRelatedWork W2112962394 @default.
- W4317804541 hasRelatedWork W2118300983 @default.
- W4317804541 hasRelatedWork W2166247150 @default.
- W4317804541 hasRelatedWork W2997048415 @default.
- W4317804541 hasRelatedWork W3137189469 @default.
- W4317804541 hasRelatedWork W4235530921 @default.
- W4317804541 hasRelatedWork W4243252198 @default.
- W4317804541 hasRelatedWork W4296441967 @default.
- W4317804541 isParatext "false" @default.
- W4317804541 isRetracted "false" @default.
- W4317804541 workType "article" @default.