FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313894549> ?p ?o ?g. }

• W4313894549 endingPage "302" @default.
• W4313894549 startingPage "302" @default.
• W4313894549 abstract "The non-Markovian systems represent almost all stochastic processes, except of a small class having the Markov property; it is a real challenge to analyze these systems. In this article, we present a general method of analyzing non-Markovian systems. The novel viewpoint is given by the use of a compact stochastic process calculus developed in the formal framework of computer science for describing concurrent systems. Since phase-type distributions can approximate non-Markovian systems with arbitrary precision, we approximate a non-Markovian system by describing it easily in our stochastic process calculus, which employs phase-type distributions. The obtained process (in our calculus) are then translated into the probabilistic model checker PRISM; by using this free software tool, we can analyze several quantitative properties of the Markovian approximation of the initial non-Markovian system." @default.
• W4313894549 created "2023-01-10" @default.
• W4313894549 creator A5072509898 @default.
• W4313894549 date "2023-01-06" @default.
• W4313894549 modified "2023-10-18" @default.
• W4313894549 title "Analyzing Non-Markovian Systems by Using a Stochastic Process Calculus and a Probabilistic Model Checker" @default.
• W4313894549 cites W140550249 @default.
• W4313894549 cites W1489725951 @default.
• W4313894549 cites W1531089277 @default.
• W4313894549 cites W1597655219 @default.
• W4313894549 cites W1862398452 @default.
• W4313894549 cites W1980891099 @default.
• W4313894549 cites W2001919784 @default.
• W4313894549 cites W2031753087 @default.
• W4313894549 cites W2110167495 @default.
• W4313894549 cites W2122372969 @default.
• W4313894549 cites W2132863287 @default.
• W4313894549 cites W2147607210 @default.
• W4313894549 cites W2167395111 @default.
• W4313894549 cites W2175681524 @default.
• W4313894549 cites W2482329843 @default.
• W4313894549 cites W266520572 @default.
• W4313894549 cites W3089180477 @default.
• W4313894549 cites W3129219201 @default.
• W4313894549 cites W3185857435 @default.
• W4313894549 cites W3189851858 @default.
• W4313894549 cites W4206542816 @default.
• W4313894549 cites W4220685901 @default.
• W4313894549 cites W47667379 @default.
• W4313894549 cites W755194005 @default.
• W4313894549 doi "https://doi.org/10.3390/math11020302" @default.
• W4313894549 hasPublicationYear "2023" @default.
• W4313894549 type Work @default.
• W4313894549 citedByCount "1" @default.
• W4313894549 countsByYear W43138945492023 @default.
• W4313894549 crossrefType "journal-article" @default.
• W4313894549 hasAuthorship W4313894549A5072509898 @default.
• W4313894549 hasBestOaLocation W43138945491 @default.
• W4313894549 hasConcept C105795698 @default.
• W4313894549 hasConcept C119857082 @default.
• W4313894549 hasConcept C134306372 @default.
• W4313894549 hasConcept C154945302 @default.
• W4313894549 hasConcept C159886148 @default.
• W4313894549 hasConcept C161771561 @default.
• W4313894549 hasConcept C163836022 @default.
• W4313894549 hasConcept C189973286 @default.
• W4313894549 hasConcept C192163390 @default.
• W4313894549 hasConcept C199343813 @default.
• W4313894549 hasConcept C199360897 @default.
• W4313894549 hasConcept C2777686260 @default.
• W4313894549 hasConcept C28826006 @default.
• W4313894549 hasConcept C33923547 @default.
• W4313894549 hasConcept C41008148 @default.
• W4313894549 hasConcept C49937458 @default.
• W4313894549 hasConcept C63331456 @default.
• W4313894549 hasConcept C71924100 @default.
• W4313894549 hasConcept C78045399 @default.
• W4313894549 hasConcept C80444323 @default.
• W4313894549 hasConcept C8272713 @default.
• W4313894549 hasConcept C84629840 @default.
• W4313894549 hasConcept C98045186 @default.
• W4313894549 hasConcept C98763669 @default.
• W4313894549 hasConceptScore W4313894549C105795698 @default.
• W4313894549 hasConceptScore W4313894549C119857082 @default.
• W4313894549 hasConceptScore W4313894549C134306372 @default.
• W4313894549 hasConceptScore W4313894549C154945302 @default.
• W4313894549 hasConceptScore W4313894549C159886148 @default.
• W4313894549 hasConceptScore W4313894549C161771561 @default.
• W4313894549 hasConceptScore W4313894549C163836022 @default.
• W4313894549 hasConceptScore W4313894549C189973286 @default.
• W4313894549 hasConceptScore W4313894549C192163390 @default.
• W4313894549 hasConceptScore W4313894549C199343813 @default.
• W4313894549 hasConceptScore W4313894549C199360897 @default.
• W4313894549 hasConceptScore W4313894549C2777686260 @default.
• W4313894549 hasConceptScore W4313894549C28826006 @default.
• W4313894549 hasConceptScore W4313894549C33923547 @default.
• W4313894549 hasConceptScore W4313894549C41008148 @default.
• W4313894549 hasConceptScore W4313894549C49937458 @default.
• W4313894549 hasConceptScore W4313894549C63331456 @default.
• W4313894549 hasConceptScore W4313894549C71924100 @default.
• W4313894549 hasConceptScore W4313894549C78045399 @default.
• W4313894549 hasConceptScore W4313894549C80444323 @default.
• W4313894549 hasConceptScore W4313894549C8272713 @default.
• W4313894549 hasConceptScore W4313894549C84629840 @default.
• W4313894549 hasConceptScore W4313894549C98045186 @default.
• W4313894549 hasConceptScore W4313894549C98763669 @default.
• W4313894549 hasIssue "2" @default.
• W4313894549 hasLocation W43138945491 @default.
• W4313894549 hasLocation W43138945492 @default.
• W4313894549 hasOpenAccess W4313894549 @default.
• W4313894549 hasPrimaryLocation W43138945491 @default.
• W4313894549 hasRelatedWork W1845845037 @default.
• W4313894549 hasRelatedWork W1985664346 @default.
• W4313894549 hasRelatedWork W2030126805 @default.
• W4313894549 hasRelatedWork W2156355394 @default.
• W4313894549 hasRelatedWork W2540690809 @default.
• W4313894549 hasRelatedWork W2735388074 @default.
• W4313894549 hasRelatedWork W3022014775 @default.

• next