FRINK Linked Data Fragments server

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

• W2160136100 endingPage "87" @default.
• W2160136100 startingPage "43" @default.
• W2160136100 abstract "This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems – like large-scale computers, client–server architectures, networks – can accurately be described using such stochastic specification formalisms. The main emphasis of this paper is the treatment of operational semantics, notions of equivalence, and (sound and complete) axiomatisations of these equivalences for different types of Markovian process algebras, where delays are governed by exponential distributions. Starting from a simple actionless algebra for describing time-homogeneous continuous-time Markov chains, we consider the integration of actions and random delays both as a single entity (like in known Markovian process algebras like TIPP, PEPA and EMPA) and as separate entities (like in the timed process algebras timed CSP and TCCS). In total we consider four related calculi and investigate their relationship to existing Markovian process algebras. We also briefly indicate how one can profit from the separation of time and actions when incorporating more general, non-Markovian distributions." @default.
• W2160136100 created "2016-06-24" @default.
• W2160136100 creator A5028747794 @default.
• W2160136100 creator A5059667728 @default.
• W2160136100 creator A5080606370 @default.
• W2160136100 date "2002-03-01" @default.
• W2160136100 modified "2023-09-27" @default.
• W2160136100 title "Process algebra for performance evaluation" @default.
• W2160136100 cites W1498432056 @default.
• W2160136100 cites W1597374562 @default.
• W2160136100 cites W1946227193 @default.
• W2160136100 cites W1964934589 @default.
• W2160136100 cites W1965674893 @default.
• W2160136100 cites W1973535275 @default.
• W2160136100 cites W1974090207 @default.
• W2160136100 cites W1976268573 @default.
• W2160136100 cites W1985161650 @default.
• W2160136100 cites W2006733177 @default.
• W2160136100 cites W2011771887 @default.
• W2160136100 cites W2014322972 @default.
• W2160136100 cites W2018291475 @default.
• W2160136100 cites W2037230951 @default.
• W2160136100 cites W2058245002 @default.
• W2160136100 cites W2058547052 @default.
• W2160136100 cites W2062442550 @default.
• W2160136100 cites W2101508170 @default.
• W2160136100 cites W2105361165 @default.
• W2160136100 cites W2108746194 @default.
• W2160136100 cites W2108918590 @default.
• W2160136100 cites W2109142454 @default.
• W2160136100 cites W2109220893 @default.
• W2160136100 cites W2109828309 @default.
• W2160136100 cites W2113391296 @default.
• W2160136100 cites W2114710208 @default.
• W2160136100 cites W2114912309 @default.
• W2160136100 cites W2121431238 @default.
• W2160136100 cites W2130773382 @default.
• W2160136100 cites W2130793115 @default.
• W2160136100 cites W2135657750 @default.
• W2160136100 cites W2138549619 @default.
• W2160136100 cites W2146822640 @default.
• W2160136100 cites W2147607210 @default.
• W2160136100 cites W2155196766 @default.
• W2160136100 cites W2156116064 @default.
• W2160136100 cites W2165161585 @default.
• W2160136100 cites W2171808992 @default.
• W2160136100 cites W2284263109 @default.
• W2160136100 cites W2493505351 @default.
• W2160136100 cites W2690011643 @default.
• W2160136100 cites W2695253840 @default.
• W2160136100 cites W4254072264 @default.
• W2160136100 cites W4255308044 @default.
• W2160136100 doi "https://doi.org/10.1016/s0304-3975(00)00305-4" @default.
• W2160136100 hasPublicationYear "2002" @default.
• W2160136100 type Work @default.
• W2160136100 sameAs 2160136100 @default.
• W2160136100 citedByCount "209" @default.
• W2160136100 countsByYear W21601361002012 @default.
• W2160136100 countsByYear W21601361002013 @default.
• W2160136100 countsByYear W21601361002014 @default.
• W2160136100 countsByYear W21601361002015 @default.
• W2160136100 countsByYear W21601361002016 @default.
• W2160136100 countsByYear W21601361002017 @default.
• W2160136100 countsByYear W21601361002018 @default.
• W2160136100 countsByYear W21601361002019 @default.
• W2160136100 countsByYear W21601361002020 @default.
• W2160136100 countsByYear W21601361002021 @default.
• W2160136100 countsByYear W21601361002022 @default.
• W2160136100 countsByYear W21601361002023 @default.
• W2160136100 crossrefType "journal-article" @default.
• W2160136100 hasAuthorship W2160136100A5028747794 @default.
• W2160136100 hasAuthorship W2160136100A5059667728 @default.
• W2160136100 hasAuthorship W2160136100A5080606370 @default.
• W2160136100 hasBestOaLocation W21601361002 @default.
• W2160136100 hasConcept C105795698 @default.
• W2160136100 hasConcept C136119220 @default.
• W2160136100 hasConcept C159886148 @default.
• W2160136100 hasConcept C161771561 @default.
• W2160136100 hasConcept C171018156 @default.
• W2160136100 hasConcept C192163390 @default.
• W2160136100 hasConcept C202444582 @default.
• W2160136100 hasConcept C2524010 @default.
• W2160136100 hasConcept C33923547 @default.
• W2160136100 hasConcept C41008148 @default.
• W2160136100 hasConcept C80444323 @default.
• W2160136100 hasConceptScore W2160136100C105795698 @default.
• W2160136100 hasConceptScore W2160136100C136119220 @default.
• W2160136100 hasConceptScore W2160136100C159886148 @default.
• W2160136100 hasConceptScore W2160136100C161771561 @default.
• W2160136100 hasConceptScore W2160136100C171018156 @default.
• W2160136100 hasConceptScore W2160136100C192163390 @default.
• W2160136100 hasConceptScore W2160136100C202444582 @default.
• W2160136100 hasConceptScore W2160136100C2524010 @default.
• W2160136100 hasConceptScore W2160136100C33923547 @default.
• W2160136100 hasConceptScore W2160136100C41008148 @default.
• W2160136100 hasConceptScore W2160136100C80444323 @default.
• W2160136100 hasIssue "1-2" @default.
• W2160136100 hasLocation W21601361001 @default.

• next