Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129296169> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2129296169 endingPage "348" @default.
- W2129296169 startingPage "297" @default.
- W2129296169 abstract "Models for concurrency can be classified with respect to 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. In this paper, we move a step towards a classification of models for concurrency based on the parameters above. Formally, we choose a representative of any of the eight classes of models obtained by varying the three parameters, and we study the formal relationships between them using the language of category theory." @default.
- W2129296169 created "2016-06-24" @default.
- W2129296169 creator A5062948122 @default.
- W2129296169 creator A5067426975 @default.
- W2129296169 creator A5089670313 @default.
- W2129296169 date "1996-12-15" @default.
- W2129296169 modified "2023-09-23" @default.
- W2129296169 title "Models for concurrency: Towards a classification" @default.
- W2129296169 cites W1503973138 @default.
- W2129296169 cites W1561267729 @default.
- W2129296169 cites W1595472131 @default.
- W2129296169 cites W1705394006 @default.
- W2129296169 cites W1991052229 @default.
- W2129296169 cites W1994350081 @default.
- W2129296169 cites W2060344461 @default.
- W2129296169 cites W2101955018 @default.
- W2129296169 cites W2116595306 @default.
- W2129296169 cites W2120713972 @default.
- W2129296169 cites W2134326845 @default.
- W2129296169 cites W2136377643 @default.
- W2129296169 cites W2136920408 @default.
- W2129296169 cites W2173961470 @default.
- W2129296169 cites W2914421362 @default.
- W2129296169 cites W297513386 @default.
- W2129296169 cites W3144368627 @default.
- W2129296169 cites W2286058889 @default.
- W2129296169 doi "https://doi.org/10.1016/s0304-3975(96)00011-4" @default.
- W2129296169 hasPublicationYear "1996" @default.
- W2129296169 type Work @default.
- W2129296169 sameAs 2129296169 @default.
- W2129296169 citedByCount "39" @default.
- W2129296169 countsByYear W21292961692012 @default.
- W2129296169 countsByYear W21292961692014 @default.
- W2129296169 countsByYear W21292961692016 @default.
- W2129296169 countsByYear W21292961692019 @default.
- W2129296169 countsByYear W21292961692020 @default.
- W2129296169 countsByYear W21292961692023 @default.
- W2129296169 crossrefType "journal-article" @default.
- W2129296169 hasAuthorship W2129296169A5062948122 @default.
- W2129296169 hasAuthorship W2129296169A5067426975 @default.
- W2129296169 hasAuthorship W2129296169A5089670313 @default.
- W2129296169 hasBestOaLocation W21292961691 @default.
- W2129296169 hasConcept C111472728 @default.
- W2129296169 hasConcept C111919701 @default.
- W2129296169 hasConcept C124304363 @default.
- W2129296169 hasConcept C138885662 @default.
- W2129296169 hasConcept C161771561 @default.
- W2129296169 hasConcept C184337299 @default.
- W2129296169 hasConcept C193702766 @default.
- W2129296169 hasConcept C199360897 @default.
- W2129296169 hasConcept C28034677 @default.
- W2129296169 hasConcept C33923547 @default.
- W2129296169 hasConcept C41008148 @default.
- W2129296169 hasConcept C80444323 @default.
- W2129296169 hasConceptScore W2129296169C111472728 @default.
- W2129296169 hasConceptScore W2129296169C111919701 @default.
- W2129296169 hasConceptScore W2129296169C124304363 @default.
- W2129296169 hasConceptScore W2129296169C138885662 @default.
- W2129296169 hasConceptScore W2129296169C161771561 @default.
- W2129296169 hasConceptScore W2129296169C184337299 @default.
- W2129296169 hasConceptScore W2129296169C193702766 @default.
- W2129296169 hasConceptScore W2129296169C199360897 @default.
- W2129296169 hasConceptScore W2129296169C28034677 @default.
- W2129296169 hasConceptScore W2129296169C33923547 @default.
- W2129296169 hasConceptScore W2129296169C41008148 @default.
- W2129296169 hasConceptScore W2129296169C80444323 @default.
- W2129296169 hasIssue "1-2" @default.
- W2129296169 hasLocation W21292961691 @default.
- W2129296169 hasLocation W21292961692 @default.
- W2129296169 hasOpenAccess W2129296169 @default.
- W2129296169 hasPrimaryLocation W21292961691 @default.
- W2129296169 hasRelatedWork W1548537923 @default.
- W2129296169 hasRelatedWork W1571087964 @default.
- W2129296169 hasRelatedWork W1591301196 @default.
- W2129296169 hasRelatedWork W1906944391 @default.
- W2129296169 hasRelatedWork W2097828479 @default.
- W2129296169 hasRelatedWork W2124448442 @default.
- W2129296169 hasRelatedWork W2124931280 @default.
- W2129296169 hasRelatedWork W2148160518 @default.
- W2129296169 hasRelatedWork W2155852086 @default.
- W2129296169 hasRelatedWork W3115181000 @default.
- W2129296169 hasVolume "170" @default.
- W2129296169 isParatext "false" @default.
- W2129296169 isRetracted "false" @default.
- W2129296169 magId "2129296169" @default.
- W2129296169 workType "article" @default.