Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595472131> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1595472131 endingPage "476" @default.
- W1595472131 startingPage "425" @default.
- W1595472131 abstract "Models for concurrency can be classified with respect to the three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.KeywordsSemanticsConcurrencyModels for ConcurrencyCategories" @default.
- W1595472131 created "2016-06-24" @default.
- W1595472131 creator A5062948122 @default.
- W1595472131 creator A5067426975 @default.
- W1595472131 creator A5089670313 @default.
- W1595472131 date "1994-01-01" @default.
- W1595472131 modified "2023-09-25" @default.
- W1595472131 title "Relationships between models of concurrency" @default.
- W1595472131 cites W1578801263 @default.
- W1595472131 cites W1705394006 @default.
- W1595472131 cites W172818814 @default.
- W1595472131 cites W1981404622 @default.
- W1595472131 cites W1991052229 @default.
- W1595472131 cites W1994350081 @default.
- W1595472131 cites W2060344461 @default.
- W1595472131 cites W2101955018 @default.
- W1595472131 cites W2116595306 @default.
- W1595472131 cites W2120713972 @default.
- W1595472131 cites W2150320481 @default.
- W1595472131 cites W237151715 @default.
- W1595472131 cites W4233702006 @default.
- W1595472131 cites W4241072267 @default.
- W1595472131 doi "https://doi.org/10.1007/3-540-58043-3_25" @default.
- W1595472131 hasPublicationYear "1994" @default.
- W1595472131 type Work @default.
- W1595472131 sameAs 1595472131 @default.
- W1595472131 citedByCount "21" @default.
- W1595472131 countsByYear W15954721312012 @default.
- W1595472131 countsByYear W15954721312015 @default.
- W1595472131 countsByYear W15954721312019 @default.
- W1595472131 countsByYear W15954721312022 @default.
- W1595472131 crossrefType "book-chapter" @default.
- W1595472131 hasAuthorship W1595472131A5062948122 @default.
- W1595472131 hasAuthorship W1595472131A5067426975 @default.
- W1595472131 hasAuthorship W1595472131A5089670313 @default.
- W1595472131 hasBestOaLocation W15954721312 @default.
- W1595472131 hasConcept C111472728 @default.
- W1595472131 hasConcept C111919701 @default.
- W1595472131 hasConcept C11413529 @default.
- W1595472131 hasConcept C124304363 @default.
- W1595472131 hasConcept C138885662 @default.
- W1595472131 hasConcept C159985019 @default.
- W1595472131 hasConcept C161771561 @default.
- W1595472131 hasConcept C184337299 @default.
- W1595472131 hasConcept C192562407 @default.
- W1595472131 hasConcept C193702766 @default.
- W1595472131 hasConcept C199360897 @default.
- W1595472131 hasConcept C206175624 @default.
- W1595472131 hasConcept C28034677 @default.
- W1595472131 hasConcept C41008148 @default.
- W1595472131 hasConcept C80444323 @default.
- W1595472131 hasConceptScore W1595472131C111472728 @default.
- W1595472131 hasConceptScore W1595472131C111919701 @default.
- W1595472131 hasConceptScore W1595472131C11413529 @default.
- W1595472131 hasConceptScore W1595472131C124304363 @default.
- W1595472131 hasConceptScore W1595472131C138885662 @default.
- W1595472131 hasConceptScore W1595472131C159985019 @default.
- W1595472131 hasConceptScore W1595472131C161771561 @default.
- W1595472131 hasConceptScore W1595472131C184337299 @default.
- W1595472131 hasConceptScore W1595472131C192562407 @default.
- W1595472131 hasConceptScore W1595472131C193702766 @default.
- W1595472131 hasConceptScore W1595472131C199360897 @default.
- W1595472131 hasConceptScore W1595472131C206175624 @default.
- W1595472131 hasConceptScore W1595472131C28034677 @default.
- W1595472131 hasConceptScore W1595472131C41008148 @default.
- W1595472131 hasConceptScore W1595472131C80444323 @default.
- W1595472131 hasLocation W15954721311 @default.
- W1595472131 hasLocation W15954721312 @default.
- W1595472131 hasOpenAccess W1595472131 @default.
- W1595472131 hasPrimaryLocation W15954721311 @default.
- W1595472131 hasRelatedWork W1834993947 @default.
- W1595472131 hasRelatedWork W1906944391 @default.
- W1595472131 hasRelatedWork W2056977125 @default.
- W1595472131 hasRelatedWork W2089489512 @default.
- W1595472131 hasRelatedWork W2097828479 @default.
- W1595472131 hasRelatedWork W2124448442 @default.
- W1595472131 hasRelatedWork W2148160518 @default.
- W1595472131 hasRelatedWork W2155852086 @default.
- W1595472131 hasRelatedWork W3115181000 @default.
- W1595472131 hasRelatedWork W1894736207 @default.
- W1595472131 isParatext "false" @default.
- W1595472131 isRetracted "false" @default.
- W1595472131 magId "1595472131" @default.
- W1595472131 workType "book-chapter" @default.