Matches in SemOpenAlex for { <https://semopenalex.org/work/W1608885512> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1608885512 endingPage "411" @default.
- W1608885512 startingPage "401" @default.
- W1608885512 abstract "This paper presents a meta-model of observation in concurrency theory; it allows us to unify notions of observation in many different behavioural settings. We treat traces, process trees and event structures, and show how observations of them fit into a common framework. Behaviour and observation will both be modeled as categories and lined using the notions of ‘functor’ and ‘adjunction’.Timing will be our chief example of observation; we present a timed traces model, and hint how it generalises to timed process trees (branching time) and timed ‘true concurrency.’ The general setup sees timing as a way of embedding observations into time; we propose stable categories of embeddings as natural metamodels of timed observation.KeywordsStable CategoryTerminal ObjectConcurrency TheoryFinite Distributive LatticeFunctorial SemanticThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1608885512 created "2016-06-24" @default.
- W1608885512 creator A5015186870 @default.
- W1608885512 creator A5062032243 @default.
- W1608885512 date "1992-01-01" @default.
- W1608885512 modified "2023-09-26" @default.
- W1608885512 title "A functorial semantics for observed concurrency" @default.
- W1608885512 cites W1488267121 @default.
- W1608885512 cites W1581774065 @default.
- W1608885512 cites W1582886330 @default.
- W1608885512 cites W1608885512 @default.
- W1608885512 cites W1870132251 @default.
- W1608885512 cites W1967930826 @default.
- W1608885512 doi "https://doi.org/10.1007/3-540-55808-x_39" @default.
- W1608885512 hasPublicationYear "1992" @default.
- W1608885512 type Work @default.
- W1608885512 sameAs 1608885512 @default.
- W1608885512 citedByCount "1" @default.
- W1608885512 crossrefType "book-chapter" @default.
- W1608885512 hasAuthorship W1608885512A5015186870 @default.
- W1608885512 hasAuthorship W1608885512A5062032243 @default.
- W1608885512 hasConcept C105795698 @default.
- W1608885512 hasConcept C118615104 @default.
- W1608885512 hasConcept C121332964 @default.
- W1608885512 hasConcept C136119220 @default.
- W1608885512 hasConcept C156325763 @default.
- W1608885512 hasConcept C156772000 @default.
- W1608885512 hasConcept C161771561 @default.
- W1608885512 hasConcept C184337299 @default.
- W1608885512 hasConcept C193702766 @default.
- W1608885512 hasConcept C199360897 @default.
- W1608885512 hasConcept C202444582 @default.
- W1608885512 hasConcept C2777810175 @default.
- W1608885512 hasConcept C2779662365 @default.
- W1608885512 hasConcept C2780580338 @default.
- W1608885512 hasConcept C33923547 @default.
- W1608885512 hasConcept C41008148 @default.
- W1608885512 hasConcept C62520636 @default.
- W1608885512 hasConcept C80444323 @default.
- W1608885512 hasConcept C98045186 @default.
- W1608885512 hasConceptScore W1608885512C105795698 @default.
- W1608885512 hasConceptScore W1608885512C118615104 @default.
- W1608885512 hasConceptScore W1608885512C121332964 @default.
- W1608885512 hasConceptScore W1608885512C136119220 @default.
- W1608885512 hasConceptScore W1608885512C156325763 @default.
- W1608885512 hasConceptScore W1608885512C156772000 @default.
- W1608885512 hasConceptScore W1608885512C161771561 @default.
- W1608885512 hasConceptScore W1608885512C184337299 @default.
- W1608885512 hasConceptScore W1608885512C193702766 @default.
- W1608885512 hasConceptScore W1608885512C199360897 @default.
- W1608885512 hasConceptScore W1608885512C202444582 @default.
- W1608885512 hasConceptScore W1608885512C2777810175 @default.
- W1608885512 hasConceptScore W1608885512C2779662365 @default.
- W1608885512 hasConceptScore W1608885512C2780580338 @default.
- W1608885512 hasConceptScore W1608885512C33923547 @default.
- W1608885512 hasConceptScore W1608885512C41008148 @default.
- W1608885512 hasConceptScore W1608885512C62520636 @default.
- W1608885512 hasConceptScore W1608885512C80444323 @default.
- W1608885512 hasConceptScore W1608885512C98045186 @default.
- W1608885512 hasLocation W16088855121 @default.
- W1608885512 hasOpenAccess W1608885512 @default.
- W1608885512 hasPrimaryLocation W16088855121 @default.
- W1608885512 hasRelatedWork W1486385096 @default.
- W1608885512 hasRelatedWork W1620763508 @default.
- W1608885512 hasRelatedWork W1745548216 @default.
- W1608885512 hasRelatedWork W1853944397 @default.
- W1608885512 hasRelatedWork W195403090 @default.
- W1608885512 hasRelatedWork W2024873396 @default.
- W1608885512 hasRelatedWork W2053602017 @default.
- W1608885512 hasRelatedWork W2121722880 @default.
- W1608885512 hasRelatedWork W2130435168 @default.
- W1608885512 hasRelatedWork W2176656321 @default.
- W1608885512 hasRelatedWork W2199787450 @default.
- W1608885512 hasRelatedWork W2204984881 @default.
- W1608885512 hasRelatedWork W2257276732 @default.
- W1608885512 hasRelatedWork W2528186268 @default.
- W1608885512 hasRelatedWork W2627092168 @default.
- W1608885512 hasRelatedWork W2769537581 @default.
- W1608885512 hasRelatedWork W2949401727 @default.
- W1608885512 hasRelatedWork W2963395258 @default.
- W1608885512 hasRelatedWork W3116189532 @default.
- W1608885512 hasRelatedWork W766238555 @default.
- W1608885512 isParatext "false" @default.
- W1608885512 isRetracted "false" @default.
- W1608885512 magId "1608885512" @default.
- W1608885512 workType "book-chapter" @default.