Matches in SemOpenAlex for { <https://semopenalex.org/work/W73233669> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W73233669 endingPage "6" @default.
- W73233669 startingPage "1" @default.
- W73233669 abstract "I began my academic research career in 1968, when I moved from industrial employment as a programmer to the Chair of Computing at the Queen’s University in Belfast. My chosen research goal was to discover an axiomatic basis for computer programming. Originally I wanted to express the axioms as algebraic equations, like those which provide the basis of arithmetic or group theory. But I did not know how. After many intellectual vicissitudes, I have now discovered the simple secret. I would be proud of this discovery, if I were not equally ashamed at taking so long to discover it." @default.
- W73233669 created "2016-06-24" @default.
- W73233669 creator A5052945049 @default.
- W73233669 date "2014-01-01" @default.
- W73233669 modified "2023-10-17" @default.
- W73233669 title "Laws of Programming: The Algebraic Unification of Theories of Concurrency" @default.
- W73233669 cites W1972478730 @default.
- W73233669 cites W2102097307 @default.
- W73233669 cites W2104255209 @default.
- W73233669 cites W2110846749 @default.
- W73233669 cites W2131791649 @default.
- W73233669 cites W2140718029 @default.
- W73233669 cites W2164439053 @default.
- W73233669 cites W2987907651 @default.
- W73233669 cites W3146519985 @default.
- W73233669 cites W4211008702 @default.
- W73233669 cites W4243994983 @default.
- W73233669 cites W4251912342 @default.
- W73233669 doi "https://doi.org/10.1007/978-3-662-44584-6_1" @default.
- W73233669 hasPublicationYear "2014" @default.
- W73233669 type Work @default.
- W73233669 sameAs 73233669 @default.
- W73233669 citedByCount "5" @default.
- W73233669 countsByYear W732336692018 @default.
- W73233669 countsByYear W732336692019 @default.
- W73233669 countsByYear W732336692021 @default.
- W73233669 countsByYear W732336692022 @default.
- W73233669 crossrefType "book-chapter" @default.
- W73233669 hasAuthorship W73233669A5052945049 @default.
- W73233669 hasConcept C111472728 @default.
- W73233669 hasConcept C134306372 @default.
- W73233669 hasConcept C136119220 @default.
- W73233669 hasConcept C138885662 @default.
- W73233669 hasConcept C167729594 @default.
- W73233669 hasConcept C193702766 @default.
- W73233669 hasConcept C199360897 @default.
- W73233669 hasConcept C202444582 @default.
- W73233669 hasConcept C2524010 @default.
- W73233669 hasConcept C2778514511 @default.
- W73233669 hasConcept C2780586882 @default.
- W73233669 hasConcept C33923547 @default.
- W73233669 hasConcept C41008148 @default.
- W73233669 hasConcept C9376300 @default.
- W73233669 hasConcept C96146094 @default.
- W73233669 hasConceptScore W73233669C111472728 @default.
- W73233669 hasConceptScore W73233669C134306372 @default.
- W73233669 hasConceptScore W73233669C136119220 @default.
- W73233669 hasConceptScore W73233669C138885662 @default.
- W73233669 hasConceptScore W73233669C167729594 @default.
- W73233669 hasConceptScore W73233669C193702766 @default.
- W73233669 hasConceptScore W73233669C199360897 @default.
- W73233669 hasConceptScore W73233669C202444582 @default.
- W73233669 hasConceptScore W73233669C2524010 @default.
- W73233669 hasConceptScore W73233669C2778514511 @default.
- W73233669 hasConceptScore W73233669C2780586882 @default.
- W73233669 hasConceptScore W73233669C33923547 @default.
- W73233669 hasConceptScore W73233669C41008148 @default.
- W73233669 hasConceptScore W73233669C9376300 @default.
- W73233669 hasConceptScore W73233669C96146094 @default.
- W73233669 hasLocation W732336691 @default.
- W73233669 hasOpenAccess W73233669 @default.
- W73233669 hasPrimaryLocation W732336691 @default.
- W73233669 hasRelatedWork W1557800075 @default.
- W73233669 hasRelatedWork W1589913369 @default.
- W73233669 hasRelatedWork W2056977125 @default.
- W73233669 hasRelatedWork W2151898527 @default.
- W73233669 hasRelatedWork W2788685475 @default.
- W73233669 hasRelatedWork W2808750505 @default.
- W73233669 hasRelatedWork W3137189469 @default.
- W73233669 hasRelatedWork W3160136729 @default.
- W73233669 hasRelatedWork W4233783224 @default.
- W73233669 hasRelatedWork W4246531319 @default.
- W73233669 isParatext "false" @default.
- W73233669 isRetracted "false" @default.
- W73233669 magId "73233669" @default.
- W73233669 workType "book-chapter" @default.