FRINK Linked Data Fragments server

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

• W2164136876 endingPage "354" @default.
• W2164136876 startingPage "338" @default.
• W2164136876 abstract "This paper presents a simulation preorder for continuoustime Markov chains (CTMCs). The simulation preorder is a conservative extension of a weak variant of probabilistic simulation on fully probabilistic systems, i.e., discrete-time Markov chains. The main result of the paper is that the simulation preorder preserves safety and liveness properties expressed in continuous stochastic logic (CSL), a stochastic branching-time temporal logic interpreted over CTMCs." @default.
• W2164136876 created "2016-06-24" @default.
• W2164136876 creator A5028747794 @default.
• W2164136876 creator A5036034957 @default.
• W2164136876 creator A5090819329 @default.
• W2164136876 creator A5091344667 @default.
• W2164136876 date "2002-01-01" @default.
• W2164136876 modified "2023-09-27" @default.
• W2164136876 title "Simulation for Continuous-Time Markov Chains" @default.
• W2164136876 cites W1498125516 @default.
• W2164136876 cites W1505118248 @default.
• W2164136876 cites W1511105469 @default.
• W2164136876 cites W1514324734 @default.
• W2164136876 cites W1542625923 @default.
• W2164136876 cites W1583191255 @default.
• W2164136876 cites W1596739056 @default.
• W2164136876 cites W1597181838 @default.
• W2164136876 cites W1704074244 @default.
• W2164136876 cites W1810681804 @default.
• W2164136876 cites W1963619740 @default.
• W2164136876 cites W1976268573 @default.
• W2164136876 cites W1981808971 @default.
• W2164136876 cites W1984121732 @default.
• W2164136876 cites W1985161650 @default.
• W2164136876 cites W1990183105 @default.
• W2164136876 cites W2001919784 @default.
• W2164136876 cites W2005998857 @default.
• W2164136876 cites W2080593426 @default.
• W2164136876 cites W2096899005 @default.
• W2164136876 cites W2107224406 @default.
• W2164136876 cites W2114710208 @default.
• W2164136876 cites W2124446794 @default.
• W2164136876 cites W2125500714 @default.
• W2164136876 cites W2149449299 @default.
• W2164136876 cites W2164136876 @default.
• W2164136876 cites W2334782222 @default.
• W2164136876 doi "https://doi.org/10.1007/3-540-45694-5_23" @default.
• W2164136876 hasPublicationYear "2002" @default.
• W2164136876 type Work @default.
• W2164136876 sameAs 2164136876 @default.
• W2164136876 citedByCount "12" @default.
• W2164136876 countsByYear W21641368762012 @default.
• W2164136876 countsByYear W21641368762016 @default.
• W2164136876 countsByYear W21641368762017 @default.
• W2164136876 crossrefType "book-chapter" @default.
• W2164136876 hasAuthorship W2164136876A5028747794 @default.
• W2164136876 hasAuthorship W2164136876A5036034957 @default.
• W2164136876 hasAuthorship W2164136876A5090819329 @default.
• W2164136876 hasAuthorship W2164136876A5091344667 @default.
• W2164136876 hasBestOaLocation W21641368762 @default.
• W2164136876 hasConcept C105795698 @default.
• W2164136876 hasConcept C11413529 @default.
• W2164136876 hasConcept C118615104 @default.
• W2164136876 hasConcept C119857082 @default.
• W2164136876 hasConcept C154945302 @default.
• W2164136876 hasConcept C15569618 @default.
• W2164136876 hasConcept C159886148 @default.
• W2164136876 hasConcept C163836022 @default.
• W2164136876 hasConcept C199360897 @default.
• W2164136876 hasConcept C2333172 @default.
• W2164136876 hasConcept C2780432614 @default.
• W2164136876 hasConcept C33923547 @default.
• W2164136876 hasConcept C41008148 @default.
• W2164136876 hasConcept C49937458 @default.
• W2164136876 hasConcept C54907487 @default.
• W2164136876 hasConcept C55689738 @default.
• W2164136876 hasConcept C76408418 @default.
• W2164136876 hasConcept C80444323 @default.
• W2164136876 hasConcept C98763669 @default.
• W2164136876 hasConceptScore W2164136876C105795698 @default.
• W2164136876 hasConceptScore W2164136876C11413529 @default.
• W2164136876 hasConceptScore W2164136876C118615104 @default.
• W2164136876 hasConceptScore W2164136876C119857082 @default.
• W2164136876 hasConceptScore W2164136876C154945302 @default.
• W2164136876 hasConceptScore W2164136876C15569618 @default.
• W2164136876 hasConceptScore W2164136876C159886148 @default.
• W2164136876 hasConceptScore W2164136876C163836022 @default.
• W2164136876 hasConceptScore W2164136876C199360897 @default.
• W2164136876 hasConceptScore W2164136876C2333172 @default.
• W2164136876 hasConceptScore W2164136876C2780432614 @default.
• W2164136876 hasConceptScore W2164136876C33923547 @default.
• W2164136876 hasConceptScore W2164136876C41008148 @default.
• W2164136876 hasConceptScore W2164136876C49937458 @default.
• W2164136876 hasConceptScore W2164136876C54907487 @default.
• W2164136876 hasConceptScore W2164136876C55689738 @default.
• W2164136876 hasConceptScore W2164136876C76408418 @default.
• W2164136876 hasConceptScore W2164136876C80444323 @default.
• W2164136876 hasConceptScore W2164136876C98763669 @default.
• W2164136876 hasLocation W21641368761 @default.
• W2164136876 hasLocation W21641368762 @default.
• W2164136876 hasOpenAccess W2164136876 @default.
• W2164136876 hasPrimaryLocation W21641368761 @default.
• W2164136876 hasRelatedWork W1981718884 @default.
• W2164136876 hasRelatedWork W2080857937 @default.
• W2164136876 hasRelatedWork W2492767812 @default.
• W2164136876 hasRelatedWork W2743242861 @default.
• W2164136876 hasRelatedWork W296145649 @default.
• W2164136876 hasRelatedWork W2989366387 @default.

• next