Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130484471> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2130484471 endingPage "182" @default.
- W2130484471 startingPage "161" @default.
- W2130484471 abstract "The reversed compound agent theorem (RCAT) is a compositional result that uses Markovian process algebra (MPA) to derive the reversed process of certain interactions between two continuous time Markov chains at equilibrium. From this reversed process, together with the given, forward process, the joint state probabilities can be expressed as a product-form, although no general algorithm has previously been given. This paper first generalises RCAT to multiple (more than two) cooperating agents, which removes the need for multiple applications and inductive proofs in cooperations of an arbitrary number of processes. A new result shows a simple stochastic equivalence between cooperating, synchronised processes and corresponding parallel, asynchronous processes. This greatly simplifies the proof of the new, multi-agent theorem, which includes a statement of the desired product-form solution itself as a product of given state probabilities in the parallel components. The reversed process and product-form thus derived rely on a solution to certain rate equations and it is shown, for the first time, that a unique solution exists under mild conditions—certainly for queueing networks and G-networks." @default.
- W2130484471 created "2016-06-24" @default.
- W2130484471 creator A5080155994 @default.
- W2130484471 creator A5089412106 @default.
- W2130484471 date "2005-11-01" @default.
- W2130484471 modified "2023-09-27" @default.
- W2130484471 title "Separable equilibrium state probabilities via time reversal in Markovian process algebra" @default.
- W2130484471 cites W1979531751 @default.
- W2130484471 cites W2010744884 @default.
- W2130484471 cites W2016993489 @default.
- W2130484471 cites W2060840612 @default.
- W2130484471 cites W2080797295 @default.
- W2130484471 cites W2094055697 @default.
- W2130484471 cites W2109142454 @default.
- W2130484471 cites W4237138370 @default.
- W2130484471 doi "https://doi.org/10.1016/j.tcs.2005.08.007" @default.
- W2130484471 hasPublicationYear "2005" @default.
- W2130484471 type Work @default.
- W2130484471 sameAs 2130484471 @default.
- W2130484471 citedByCount "40" @default.
- W2130484471 countsByYear W21304844712012 @default.
- W2130484471 countsByYear W21304844712013 @default.
- W2130484471 countsByYear W21304844712014 @default.
- W2130484471 countsByYear W21304844712015 @default.
- W2130484471 countsByYear W21304844712016 @default.
- W2130484471 countsByYear W21304844712017 @default.
- W2130484471 crossrefType "journal-article" @default.
- W2130484471 hasAuthorship W2130484471A5080155994 @default.
- W2130484471 hasAuthorship W2130484471A5089412106 @default.
- W2130484471 hasBestOaLocation W21304844711 @default.
- W2130484471 hasConcept C105795698 @default.
- W2130484471 hasConcept C108710211 @default.
- W2130484471 hasConcept C111472728 @default.
- W2130484471 hasConcept C118615104 @default.
- W2130484471 hasConcept C134306372 @default.
- W2130484471 hasConcept C138885662 @default.
- W2130484471 hasConcept C151319957 @default.
- W2130484471 hasConcept C159886148 @default.
- W2130484471 hasConcept C161771561 @default.
- W2130484471 hasConcept C22684755 @default.
- W2130484471 hasConcept C2524010 @default.
- W2130484471 hasConcept C2780069185 @default.
- W2130484471 hasConcept C2780586882 @default.
- W2130484471 hasConcept C28826006 @default.
- W2130484471 hasConcept C31258907 @default.
- W2130484471 hasConcept C33923547 @default.
- W2130484471 hasConcept C41008148 @default.
- W2130484471 hasConcept C70710897 @default.
- W2130484471 hasConcept C80444323 @default.
- W2130484471 hasConcept C90673727 @default.
- W2130484471 hasConceptScore W2130484471C105795698 @default.
- W2130484471 hasConceptScore W2130484471C108710211 @default.
- W2130484471 hasConceptScore W2130484471C111472728 @default.
- W2130484471 hasConceptScore W2130484471C118615104 @default.
- W2130484471 hasConceptScore W2130484471C134306372 @default.
- W2130484471 hasConceptScore W2130484471C138885662 @default.
- W2130484471 hasConceptScore W2130484471C151319957 @default.
- W2130484471 hasConceptScore W2130484471C159886148 @default.
- W2130484471 hasConceptScore W2130484471C161771561 @default.
- W2130484471 hasConceptScore W2130484471C22684755 @default.
- W2130484471 hasConceptScore W2130484471C2524010 @default.
- W2130484471 hasConceptScore W2130484471C2780069185 @default.
- W2130484471 hasConceptScore W2130484471C2780586882 @default.
- W2130484471 hasConceptScore W2130484471C28826006 @default.
- W2130484471 hasConceptScore W2130484471C31258907 @default.
- W2130484471 hasConceptScore W2130484471C33923547 @default.
- W2130484471 hasConceptScore W2130484471C41008148 @default.
- W2130484471 hasConceptScore W2130484471C70710897 @default.
- W2130484471 hasConceptScore W2130484471C80444323 @default.
- W2130484471 hasConceptScore W2130484471C90673727 @default.
- W2130484471 hasIssue "1" @default.
- W2130484471 hasLocation W21304844711 @default.
- W2130484471 hasOpenAccess W2130484471 @default.
- W2130484471 hasPrimaryLocation W21304844711 @default.
- W2130484471 hasRelatedWork W1596260537 @default.
- W2130484471 hasRelatedWork W1842478026 @default.
- W2130484471 hasRelatedWork W1861107327 @default.
- W2130484471 hasRelatedWork W2041728792 @default.
- W2130484471 hasRelatedWork W2082240258 @default.
- W2130484471 hasRelatedWork W2130484471 @default.
- W2130484471 hasRelatedWork W2163869523 @default.
- W2130484471 hasRelatedWork W4237868810 @default.
- W2130484471 hasRelatedWork W4299613836 @default.
- W2130484471 hasRelatedWork W579359102 @default.
- W2130484471 hasVolume "346" @default.
- W2130484471 isParatext "false" @default.
- W2130484471 isRetracted "false" @default.
- W2130484471 magId "2130484471" @default.
- W2130484471 workType "article" @default.