Matches in SemOpenAlex for { <https://semopenalex.org/work/W1842130884> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1842130884 abstract "Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component processes are explored. A lattice-theoretic fixed-point theorem about increasing functions is proved, and examples of its application in several areas of computing science are given. Some consequences are drawn for the design of concurrent algorithms, high-level programming languages, and fine-grained concurrent computer architectures.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1842130884 created "2016-06-24" @default.
- W1842130884 creator A5052847689 @default.
- W1842130884 date "2002-12-04" @default.
- W1842130884 modified "2023-09-27" @default.
- W1842130884 title "A theory of conjunction and concurrency" @default.
- W1842130884 doi "https://doi.org/10.1109/parbse.1990.77155" @default.
- W1842130884 hasPublicationYear "2002" @default.
- W1842130884 type Work @default.
- W1842130884 sameAs 1842130884 @default.
- W1842130884 citedByCount "4" @default.
- W1842130884 countsByYear W18421308842021 @default.
- W1842130884 crossrefType "proceedings-article" @default.
- W1842130884 hasAuthorship W1842130884A5052847689 @default.
- W1842130884 hasBestOaLocation W18421308842 @default.
- W1842130884 hasConcept C121332964 @default.
- W1842130884 hasConcept C126255220 @default.
- W1842130884 hasConcept C1276947 @default.
- W1842130884 hasConcept C150495011 @default.
- W1842130884 hasConcept C193702766 @default.
- W1842130884 hasConcept C199360897 @default.
- W1842130884 hasConcept C206729178 @default.
- W1842130884 hasConcept C33923547 @default.
- W1842130884 hasConcept C41008148 @default.
- W1842130884 hasConcept C59656382 @default.
- W1842130884 hasConcept C75949130 @default.
- W1842130884 hasConcept C78382760 @default.
- W1842130884 hasConcept C80444323 @default.
- W1842130884 hasConcept C84511453 @default.
- W1842130884 hasConceptScore W1842130884C121332964 @default.
- W1842130884 hasConceptScore W1842130884C126255220 @default.
- W1842130884 hasConceptScore W1842130884C1276947 @default.
- W1842130884 hasConceptScore W1842130884C150495011 @default.
- W1842130884 hasConceptScore W1842130884C193702766 @default.
- W1842130884 hasConceptScore W1842130884C199360897 @default.
- W1842130884 hasConceptScore W1842130884C206729178 @default.
- W1842130884 hasConceptScore W1842130884C33923547 @default.
- W1842130884 hasConceptScore W1842130884C41008148 @default.
- W1842130884 hasConceptScore W1842130884C59656382 @default.
- W1842130884 hasConceptScore W1842130884C75949130 @default.
- W1842130884 hasConceptScore W1842130884C78382760 @default.
- W1842130884 hasConceptScore W1842130884C80444323 @default.
- W1842130884 hasConceptScore W1842130884C84511453 @default.
- W1842130884 hasLocation W18421308841 @default.
- W1842130884 hasLocation W18421308842 @default.
- W1842130884 hasOpenAccess W1842130884 @default.
- W1842130884 hasPrimaryLocation W18421308841 @default.
- W1842130884 hasRelatedWork W1533946365 @default.
- W1842130884 hasRelatedWork W1534538615 @default.
- W1842130884 hasRelatedWork W1589083272 @default.
- W1842130884 hasRelatedWork W172957746 @default.
- W1842130884 hasRelatedWork W1760404489 @default.
- W1842130884 hasRelatedWork W180742475 @default.
- W1842130884 hasRelatedWork W2139633925 @default.
- W1842130884 hasRelatedWork W2348305843 @default.
- W1842130884 hasRelatedWork W2788685475 @default.
- W1842130884 hasRelatedWork W4233783224 @default.
- W1842130884 isParatext "false" @default.
- W1842130884 isRetracted "false" @default.
- W1842130884 magId "1842130884" @default.
- W1842130884 workType "article" @default.