Matches in SemOpenAlex for { <https://semopenalex.org/work/W1479776502> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1479776502 endingPage "354" @default.
- W1479776502 startingPage "299" @default.
- W1479776502 abstract "Introduction Computational behaviours are often distributed, in the sense that they may be seen as spatially separated activities accomplishing a joint task. Many such systems are not meant to terminate, and hence it makes little sense to talk about their behaviours in terms of traditional input-output functions. Rather, we are interested in the behaviour of such systems in terms of their often complex patterns of stimuli/response relationships varying over time. For this reason such systems are often referred to as reactive systems . Many structures for modelling reactive systems have been studied over the past 20 years. Here we present a few key models. Common to all of them, is that they rest on an idea of atomic actions, over which the behaviour of a system is defined. The models differ mainly with respect to what behavioural features of systems are represented. Some models are more abstract than others, and this fact is often used in informal classifications of the models with respect to expressibility. One of our aims is to present principal representatives of models, covering the landscape from the most abstract to the most concrete, and to formalise the nature of their relationships by explicitly representing the steps of abstraction that are involved in moving between them. In following through this programme, category theory is a convenient language for formalising the relationships between models. To give an idea of the role categories play, let us focus attention on transition systems as a model of parallel computation." @default.
- W1479776502 created "2016-06-24" @default.
- W1479776502 creator A5062948122 @default.
- W1479776502 creator A5089670313 @default.
- W1479776502 date "1997-01-30" @default.
- W1479776502 modified "2023-10-14" @default.
- W1479776502 title "Categories in Concurrency" @default.
- W1479776502 cites W1487534524 @default.
- W1479776502 cites W1490130612 @default.
- W1479776502 cites W1503170978 @default.
- W1479776502 cites W1503973138 @default.
- W1479776502 cites W1511331505 @default.
- W1479776502 cites W1528441743 @default.
- W1479776502 cites W1534018603 @default.
- W1479776502 cites W1547409410 @default.
- W1479776502 cites W1566009901 @default.
- W1479776502 cites W1582369902 @default.
- W1479776502 cites W1934074768 @default.
- W1479776502 cites W2032838513 @default.
- W1479776502 cites W2043229226 @default.
- W1479776502 cites W2058222903 @default.
- W1479776502 cites W2070403123 @default.
- W1479776502 cites W2075412006 @default.
- W1479776502 cites W2129335898 @default.
- W1479776502 cites W2137307988 @default.
- W1479776502 cites W2137865376 @default.
- W1479776502 cites W2143893379 @default.
- W1479776502 cites W2159599065 @default.
- W1479776502 cites W2173961470 @default.
- W1479776502 cites W2395025735 @default.
- W1479776502 cites W2409053464 @default.
- W1479776502 cites W2724452537 @default.
- W1479776502 cites W2760720512 @default.
- W1479776502 cites W2986375905 @default.
- W1479776502 cites W84232747 @default.
- W1479776502 doi "https://doi.org/10.1017/cbo9780511526619.008" @default.
- W1479776502 hasPublicationYear "1997" @default.
- W1479776502 type Work @default.
- W1479776502 sameAs 1479776502 @default.
- W1479776502 citedByCount "9" @default.
- W1479776502 countsByYear W14797765022013 @default.
- W1479776502 countsByYear W14797765022015 @default.
- W1479776502 countsByYear W14797765022020 @default.
- W1479776502 countsByYear W14797765022021 @default.
- W1479776502 crossrefType "book-chapter" @default.
- W1479776502 hasAuthorship W1479776502A5062948122 @default.
- W1479776502 hasAuthorship W1479776502A5089670313 @default.
- W1479776502 hasConcept C193702766 @default.
- W1479776502 hasConcept C199360897 @default.
- W1479776502 hasConcept C41008148 @default.
- W1479776502 hasConceptScore W1479776502C193702766 @default.
- W1479776502 hasConceptScore W1479776502C199360897 @default.
- W1479776502 hasConceptScore W1479776502C41008148 @default.
- W1479776502 hasLocation W14797765021 @default.
- W1479776502 hasOpenAccess W1479776502 @default.
- W1479776502 hasPrimaryLocation W14797765021 @default.
- W1479776502 hasRelatedWork W1483545155 @default.
- W1479776502 hasRelatedWork W1528240692 @default.
- W1479776502 hasRelatedWork W1600923511 @default.
- W1479776502 hasRelatedWork W1787630538 @default.
- W1479776502 hasRelatedWork W2376118243 @default.
- W1479776502 hasRelatedWork W2384947125 @default.
- W1479776502 hasRelatedWork W2588901507 @default.
- W1479776502 hasRelatedWork W2806644956 @default.
- W1479776502 hasRelatedWork W2897631772 @default.
- W1479776502 hasRelatedWork W80042586 @default.
- W1479776502 isParatext "false" @default.
- W1479776502 isRetracted "false" @default.
- W1479776502 magId "1479776502" @default.
- W1479776502 workType "book-chapter" @default.