Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007205933> ?p ?o ?g. }
- W2007205933 endingPage "427" @default.
- W2007205933 startingPage "393" @default.
- W2007205933 abstract "The general theory of randomly timed automata is developed: starting with the practical motivation and presentation of the envisaged notion, the categorical theory of minimization, aggregation, encapsulation, interconnection and realization of such automata is worked out. All these constructions are presented universally: minimization and realization as adjunctions, aggregation as product, interconnection as cartesian lifting, and encapsulation as co-cartesian lifting. Stochastic timed automata are shown to be a particular case of randomly timed automata. The notion of stochastic timed automaton is shown to be too restrictive to establish a self contained theory of combination and realization." @default.
- W2007205933 created "2016-06-24" @default.
- W2007205933 creator A5020274709 @default.
- W2007205933 creator A5027887154 @default.
- W2007205933 creator A5040168404 @default.
- W2007205933 creator A5048903105 @default.
- W2007205933 creator A5049655958 @default.
- W2007205933 creator A5072300699 @default.
- W2007205933 date "2003-11-03" @default.
- W2007205933 modified "2023-10-03" @default.
- W2007205933 title "Categorical foundations for randomly timed automata" @default.
- W2007205933 cites W1489973483 @default.
- W2007205933 cites W1538056753 @default.
- W2007205933 cites W1548663088 @default.
- W2007205933 cites W1554903263 @default.
- W2007205933 cites W1573261754 @default.
- W2007205933 cites W1573502168 @default.
- W2007205933 cites W1587663028 @default.
- W2007205933 cites W1595417290 @default.
- W2007205933 cites W1605238695 @default.
- W2007205933 cites W1621538476 @default.
- W2007205933 cites W1865728679 @default.
- W2007205933 cites W1913290952 @default.
- W2007205933 cites W1968402813 @default.
- W2007205933 cites W1969012035 @default.
- W2007205933 cites W1974090207 @default.
- W2007205933 cites W1995713768 @default.
- W2007205933 cites W1995945562 @default.
- W2007205933 cites W1997732603 @default.
- W2007205933 cites W2016989291 @default.
- W2007205933 cites W2022720383 @default.
- W2007205933 cites W2022896218 @default.
- W2007205933 cites W2025064196 @default.
- W2007205933 cites W2028110117 @default.
- W2007205933 cites W2035939276 @default.
- W2007205933 cites W2047386147 @default.
- W2007205933 cites W2052197092 @default.
- W2007205933 cites W2067556429 @default.
- W2007205933 cites W2068860517 @default.
- W2007205933 cites W2080543706 @default.
- W2007205933 cites W2084880396 @default.
- W2007205933 cites W2086347156 @default.
- W2007205933 cites W2092660853 @default.
- W2007205933 cites W2098506306 @default.
- W2007205933 cites W2121431238 @default.
- W2007205933 cites W2173961470 @default.
- W2007205933 cites W2200574566 @default.
- W2007205933 cites W2514822958 @default.
- W2007205933 cites W3026026050 @default.
- W2007205933 doi "https://doi.org/10.1016/s0304-3975(03)00894-0" @default.
- W2007205933 hasPublicationYear "2003" @default.
- W2007205933 type Work @default.
- W2007205933 sameAs 2007205933 @default.
- W2007205933 citedByCount "1" @default.
- W2007205933 crossrefType "journal-article" @default.
- W2007205933 hasAuthorship W2007205933A5020274709 @default.
- W2007205933 hasAuthorship W2007205933A5027887154 @default.
- W2007205933 hasAuthorship W2007205933A5040168404 @default.
- W2007205933 hasAuthorship W2007205933A5048903105 @default.
- W2007205933 hasAuthorship W2007205933A5049655958 @default.
- W2007205933 hasAuthorship W2007205933A5072300699 @default.
- W2007205933 hasConcept C105795698 @default.
- W2007205933 hasConcept C112505250 @default.
- W2007205933 hasConcept C118615104 @default.
- W2007205933 hasConcept C119857082 @default.
- W2007205933 hasConcept C123745756 @default.
- W2007205933 hasConcept C147764199 @default.
- W2007205933 hasConcept C199360897 @default.
- W2007205933 hasConcept C2781089630 @default.
- W2007205933 hasConcept C30788636 @default.
- W2007205933 hasConcept C31258907 @default.
- W2007205933 hasConcept C33923547 @default.
- W2007205933 hasConcept C41008148 @default.
- W2007205933 hasConcept C5274069 @default.
- W2007205933 hasConcept C65236422 @default.
- W2007205933 hasConcept C80444323 @default.
- W2007205933 hasConceptScore W2007205933C105795698 @default.
- W2007205933 hasConceptScore W2007205933C112505250 @default.
- W2007205933 hasConceptScore W2007205933C118615104 @default.
- W2007205933 hasConceptScore W2007205933C119857082 @default.
- W2007205933 hasConceptScore W2007205933C123745756 @default.
- W2007205933 hasConceptScore W2007205933C147764199 @default.
- W2007205933 hasConceptScore W2007205933C199360897 @default.
- W2007205933 hasConceptScore W2007205933C2781089630 @default.
- W2007205933 hasConceptScore W2007205933C30788636 @default.
- W2007205933 hasConceptScore W2007205933C31258907 @default.
- W2007205933 hasConceptScore W2007205933C33923547 @default.
- W2007205933 hasConceptScore W2007205933C41008148 @default.
- W2007205933 hasConceptScore W2007205933C5274069 @default.
- W2007205933 hasConceptScore W2007205933C65236422 @default.
- W2007205933 hasConceptScore W2007205933C80444323 @default.
- W2007205933 hasIssue "1" @default.
- W2007205933 hasLocation W20072059331 @default.
- W2007205933 hasOpenAccess W2007205933 @default.
- W2007205933 hasPrimaryLocation W20072059331 @default.
- W2007205933 hasRelatedWork W143370938 @default.
- W2007205933 hasRelatedWork W1514624237 @default.
- W2007205933 hasRelatedWork W1527645500 @default.