Matches in SemOpenAlex for { <https://semopenalex.org/work/W2516171624> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2516171624 abstract "Among the various formal models proposed to provide semantics for concurrency constructs in programming languages, partial orders have the advantages of conceptual simplicity, mathematical tractability, and economy of expression. We first observe that the theory of enriched categories supplies a natural abstraction of the notion of partial order, the D-schedule. Varying the choice of temporal domain D allows for other forms of temporal constraint beyond that available from simple ordering. For example, having the constraints of inter-event delays be numeric bounds produces a generalized metric-space structure suitable for the discussion of real-time computation. We then construct an algebra of processes parametrized by notion of time. Here a process is a structure based on schedules that also incorporates nondeterminism. Since the model is category-based, we can define operations on D-schedules and processes via universal constructions that depend little on the choice of D. Also, given a suitable choice of process structure and process morphism, the constructions used for process operations and schedule operations are remarkably similar." @default.
- W2516171624 created "2016-09-16" @default.
- W2516171624 creator A5030057511 @default.
- W2516171624 date "1992-01-01" @default.
- W2516171624 modified "2023-09-23" @default.
- W2516171624 title "Metric process models" @default.
- W2516171624 hasPublicationYear "1992" @default.
- W2516171624 type Work @default.
- W2516171624 sameAs 2516171624 @default.
- W2516171624 citedByCount "0" @default.
- W2516171624 crossrefType "journal-article" @default.
- W2516171624 hasAuthorship W2516171624A5030057511 @default.
- W2516171624 hasConcept C111472728 @default.
- W2516171624 hasConcept C111919701 @default.
- W2516171624 hasConcept C118615104 @default.
- W2516171624 hasConcept C124304363 @default.
- W2516171624 hasConcept C126255220 @default.
- W2516171624 hasConcept C134306372 @default.
- W2516171624 hasConcept C136119220 @default.
- W2516171624 hasConcept C137212723 @default.
- W2516171624 hasConcept C137631369 @default.
- W2516171624 hasConcept C138885662 @default.
- W2516171624 hasConcept C162324750 @default.
- W2516171624 hasConcept C173404611 @default.
- W2516171624 hasConcept C176217482 @default.
- W2516171624 hasConcept C184337299 @default.
- W2516171624 hasConcept C193702766 @default.
- W2516171624 hasConcept C199360897 @default.
- W2516171624 hasConcept C202444582 @default.
- W2516171624 hasConcept C21547014 @default.
- W2516171624 hasConcept C2524010 @default.
- W2516171624 hasConcept C2776036281 @default.
- W2516171624 hasConcept C2780586882 @default.
- W2516171624 hasConcept C33923547 @default.
- W2516171624 hasConcept C36503486 @default.
- W2516171624 hasConcept C38677869 @default.
- W2516171624 hasConcept C41008148 @default.
- W2516171624 hasConcept C68387754 @default.
- W2516171624 hasConcept C80444323 @default.
- W2516171624 hasConcept C98045186 @default.
- W2516171624 hasConceptScore W2516171624C111472728 @default.
- W2516171624 hasConceptScore W2516171624C111919701 @default.
- W2516171624 hasConceptScore W2516171624C118615104 @default.
- W2516171624 hasConceptScore W2516171624C124304363 @default.
- W2516171624 hasConceptScore W2516171624C126255220 @default.
- W2516171624 hasConceptScore W2516171624C134306372 @default.
- W2516171624 hasConceptScore W2516171624C136119220 @default.
- W2516171624 hasConceptScore W2516171624C137212723 @default.
- W2516171624 hasConceptScore W2516171624C137631369 @default.
- W2516171624 hasConceptScore W2516171624C138885662 @default.
- W2516171624 hasConceptScore W2516171624C162324750 @default.
- W2516171624 hasConceptScore W2516171624C173404611 @default.
- W2516171624 hasConceptScore W2516171624C176217482 @default.
- W2516171624 hasConceptScore W2516171624C184337299 @default.
- W2516171624 hasConceptScore W2516171624C193702766 @default.
- W2516171624 hasConceptScore W2516171624C199360897 @default.
- W2516171624 hasConceptScore W2516171624C202444582 @default.
- W2516171624 hasConceptScore W2516171624C21547014 @default.
- W2516171624 hasConceptScore W2516171624C2524010 @default.
- W2516171624 hasConceptScore W2516171624C2776036281 @default.
- W2516171624 hasConceptScore W2516171624C2780586882 @default.
- W2516171624 hasConceptScore W2516171624C33923547 @default.
- W2516171624 hasConceptScore W2516171624C36503486 @default.
- W2516171624 hasConceptScore W2516171624C38677869 @default.
- W2516171624 hasConceptScore W2516171624C41008148 @default.
- W2516171624 hasConceptScore W2516171624C68387754 @default.
- W2516171624 hasConceptScore W2516171624C80444323 @default.
- W2516171624 hasConceptScore W2516171624C98045186 @default.
- W2516171624 hasLocation W25161716241 @default.
- W2516171624 hasOpenAccess W2516171624 @default.
- W2516171624 hasPrimaryLocation W25161716241 @default.
- W2516171624 hasRelatedWork W132066225 @default.
- W2516171624 hasRelatedWork W155249273 @default.
- W2516171624 hasRelatedWork W1599545538 @default.
- W2516171624 hasRelatedWork W164818648 @default.
- W2516171624 hasRelatedWork W1874458658 @default.
- W2516171624 hasRelatedWork W2027065256 @default.
- W2516171624 hasRelatedWork W2063286137 @default.
- W2516171624 hasRelatedWork W2097402988 @default.
- W2516171624 hasRelatedWork W2147437611 @default.
- W2516171624 hasRelatedWork W2158458082 @default.
- W2516171624 hasRelatedWork W22044255 @default.
- W2516171624 hasRelatedWork W2413076592 @default.
- W2516171624 hasRelatedWork W2751326373 @default.
- W2516171624 hasRelatedWork W2767720240 @default.
- W2516171624 hasRelatedWork W2780286008 @default.
- W2516171624 hasRelatedWork W2886547318 @default.
- W2516171624 hasRelatedWork W2914874733 @default.
- W2516171624 hasRelatedWork W2963576997 @default.
- W2516171624 hasRelatedWork W3036435269 @default.
- W2516171624 hasRelatedWork W3196561487 @default.
- W2516171624 isParatext "false" @default.
- W2516171624 isRetracted "false" @default.
- W2516171624 magId "2516171624" @default.
- W2516171624 workType "article" @default.