Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130080327> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2130080327 endingPage "258" @default.
- W2130080327 startingPage "244" @default.
- W2130080327 abstract "This paper presents a compositional framework for the modeling of interactive continuous-time Markov chains with time-dependent rates, a subclass of communicating piecewise deterministic Markov processes. A poly-time algorithm is presented for computing the coarsest quotient under strong bisimulation for rate functions that are either piecewise uniform or (piecewise) polynomial. Strong as well as weak bisimulation are shown to be congruence relations for the compositional framework, thus allowing component-wise minimization. In addition, a new characterization of transient probabilities in time-inhomogeneous Markov chains with piecewise uniform rates is provided." @default.
- W2130080327 created "2016-06-24" @default.
- W2130080327 creator A5025707429 @default.
- W2130080327 creator A5041563113 @default.
- W2130080327 creator A5090819329 @default.
- W2130080327 date "2008-07-17" @default.
- W2130080327 modified "2023-09-23" @default.
- W2130080327 title "Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains" @default.
- W2130080327 cites W1501881008 @default.
- W2130080327 cites W1514087635 @default.
- W2130080327 cites W1573344143 @default.
- W2130080327 cites W1574045977 @default.
- W2130080327 cites W1973642705 @default.
- W2130080327 cites W1983779606 @default.
- W2130080327 cites W2039709368 @default.
- W2130080327 cites W2044811734 @default.
- W2130080327 cites W2068361557 @default.
- W2130080327 cites W2091316349 @default.
- W2130080327 cites W2112446565 @default.
- W2130080327 cites W2114710208 @default.
- W2130080327 cites W2124325155 @default.
- W2130080327 cites W2153452731 @default.
- W2130080327 cites W2158974070 @default.
- W2130080327 cites W2160136100 @default.
- W2130080327 cites W4247619688 @default.
- W2130080327 cites W2112345624 @default.
- W2130080327 doi "https://doi.org/10.1007/978-3-540-78929-1_18" @default.
- W2130080327 hasPublicationYear "2008" @default.
- W2130080327 type Work @default.
- W2130080327 sameAs 2130080327 @default.
- W2130080327 citedByCount "11" @default.
- W2130080327 countsByYear W21300803272012 @default.
- W2130080327 countsByYear W21300803272014 @default.
- W2130080327 countsByYear W21300803272015 @default.
- W2130080327 countsByYear W21300803272016 @default.
- W2130080327 crossrefType "book-chapter" @default.
- W2130080327 hasAuthorship W2130080327A5025707429 @default.
- W2130080327 hasAuthorship W2130080327A5041563113 @default.
- W2130080327 hasAuthorship W2130080327A5090819329 @default.
- W2130080327 hasBestOaLocation W21300803272 @default.
- W2130080327 hasConcept C105795698 @default.
- W2130080327 hasConcept C11413529 @default.
- W2130080327 hasConcept C119857082 @default.
- W2130080327 hasConcept C121332964 @default.
- W2130080327 hasConcept C126255220 @default.
- W2130080327 hasConcept C134306372 @default.
- W2130080327 hasConcept C135315306 @default.
- W2130080327 hasConcept C147764199 @default.
- W2130080327 hasConcept C159886148 @default.
- W2130080327 hasConcept C163836022 @default.
- W2130080327 hasConcept C164660894 @default.
- W2130080327 hasConcept C168167062 @default.
- W2130080327 hasConcept C28826006 @default.
- W2130080327 hasConcept C33923547 @default.
- W2130080327 hasConcept C41008148 @default.
- W2130080327 hasConcept C80444323 @default.
- W2130080327 hasConcept C97355855 @default.
- W2130080327 hasConcept C98763669 @default.
- W2130080327 hasConceptScore W2130080327C105795698 @default.
- W2130080327 hasConceptScore W2130080327C11413529 @default.
- W2130080327 hasConceptScore W2130080327C119857082 @default.
- W2130080327 hasConceptScore W2130080327C121332964 @default.
- W2130080327 hasConceptScore W2130080327C126255220 @default.
- W2130080327 hasConceptScore W2130080327C134306372 @default.
- W2130080327 hasConceptScore W2130080327C135315306 @default.
- W2130080327 hasConceptScore W2130080327C147764199 @default.
- W2130080327 hasConceptScore W2130080327C159886148 @default.
- W2130080327 hasConceptScore W2130080327C163836022 @default.
- W2130080327 hasConceptScore W2130080327C164660894 @default.
- W2130080327 hasConceptScore W2130080327C168167062 @default.
- W2130080327 hasConceptScore W2130080327C28826006 @default.
- W2130080327 hasConceptScore W2130080327C33923547 @default.
- W2130080327 hasConceptScore W2130080327C41008148 @default.
- W2130080327 hasConceptScore W2130080327C80444323 @default.
- W2130080327 hasConceptScore W2130080327C97355855 @default.
- W2130080327 hasConceptScore W2130080327C98763669 @default.
- W2130080327 hasLocation W21300803271 @default.
- W2130080327 hasLocation W21300803272 @default.
- W2130080327 hasOpenAccess W2130080327 @default.
- W2130080327 hasPrimaryLocation W21300803271 @default.
- W2130080327 hasRelatedWork W2130080327 @default.
- W2130080327 hasRelatedWork W2470680090 @default.
- W2130080327 hasRelatedWork W2584632936 @default.
- W2130080327 hasRelatedWork W3145631250 @default.
- W2130080327 hasRelatedWork W3198596521 @default.
- W2130080327 hasRelatedWork W4281716537 @default.
- W2130080327 hasRelatedWork W4285184122 @default.
- W2130080327 hasRelatedWork W4287550748 @default.
- W2130080327 hasRelatedWork W4287640753 @default.
- W2130080327 hasRelatedWork W7769338 @default.
- W2130080327 isParatext "false" @default.
- W2130080327 isRetracted "false" @default.
- W2130080327 magId "2130080327" @default.
- W2130080327 workType "book-chapter" @default.