Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155342912> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2155342912 abstract "A new Stochastic Process Algebra called S-LOTOS is investigated, it extends LOTOS in order to specify the durations of actions in terms of generally distributed functions. We present its operational semantics and its underlying semantic model, called Maximality-based Labeled Stochastic Transition System (MLSTS). With regards to performance properties, we show that MLSTS and ST-semantics (Start- Termination) based models are equivalent, but the former brings more compact structure." @default.
- W2155342912 created "2016-06-24" @default.
- W2155342912 creator A5004185054 @default.
- W2155342912 creator A5064997158 @default.
- W2155342912 date "2012-01-01" @default.
- W2155342912 modified "2023-09-26" @default.
- W2155342912 title "Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems" @default.
- W2155342912 cites W1485528136 @default.
- W2155342912 cites W1543374740 @default.
- W2155342912 cites W1556517679 @default.
- W2155342912 cites W1778598960 @default.
- W2155342912 cites W1928694579 @default.
- W2155342912 cites W1972874541 @default.
- W2155342912 cites W2028079360 @default.
- W2155342912 cites W2040082021 @default.
- W2155342912 cites W2115654637 @default.
- W2155342912 cites W2133164797 @default.
- W2155342912 cites W2138514296 @default.
- W2155342912 cites W2156569015 @default.
- W2155342912 cites W2159404644 @default.
- W2155342912 cites W89687488 @default.
- W2155342912 hasPublicationYear "2012" @default.
- W2155342912 type Work @default.
- W2155342912 sameAs 2155342912 @default.
- W2155342912 citedByCount "2" @default.
- W2155342912 countsByYear W21553429122012 @default.
- W2155342912 countsByYear W21553429122013 @default.
- W2155342912 crossrefType "journal-article" @default.
- W2155342912 hasAuthorship W2155342912A5004185054 @default.
- W2155342912 hasAuthorship W2155342912A5064997158 @default.
- W2155342912 hasConcept C104317684 @default.
- W2155342912 hasConcept C105795698 @default.
- W2155342912 hasConcept C11413529 @default.
- W2155342912 hasConcept C136119220 @default.
- W2155342912 hasConcept C156325763 @default.
- W2155342912 hasConcept C161771561 @default.
- W2155342912 hasConcept C184337299 @default.
- W2155342912 hasConcept C185592680 @default.
- W2155342912 hasConcept C194232998 @default.
- W2155342912 hasConcept C199360897 @default.
- W2155342912 hasConcept C202444582 @default.
- W2155342912 hasConcept C33923547 @default.
- W2155342912 hasConcept C41008148 @default.
- W2155342912 hasConcept C48103436 @default.
- W2155342912 hasConcept C55493867 @default.
- W2155342912 hasConcept C72434380 @default.
- W2155342912 hasConcept C80444323 @default.
- W2155342912 hasConcept C8272713 @default.
- W2155342912 hasConcept C98045186 @default.
- W2155342912 hasConceptScore W2155342912C104317684 @default.
- W2155342912 hasConceptScore W2155342912C105795698 @default.
- W2155342912 hasConceptScore W2155342912C11413529 @default.
- W2155342912 hasConceptScore W2155342912C136119220 @default.
- W2155342912 hasConceptScore W2155342912C156325763 @default.
- W2155342912 hasConceptScore W2155342912C161771561 @default.
- W2155342912 hasConceptScore W2155342912C184337299 @default.
- W2155342912 hasConceptScore W2155342912C185592680 @default.
- W2155342912 hasConceptScore W2155342912C194232998 @default.
- W2155342912 hasConceptScore W2155342912C199360897 @default.
- W2155342912 hasConceptScore W2155342912C202444582 @default.
- W2155342912 hasConceptScore W2155342912C33923547 @default.
- W2155342912 hasConceptScore W2155342912C41008148 @default.
- W2155342912 hasConceptScore W2155342912C48103436 @default.
- W2155342912 hasConceptScore W2155342912C55493867 @default.
- W2155342912 hasConceptScore W2155342912C72434380 @default.
- W2155342912 hasConceptScore W2155342912C80444323 @default.
- W2155342912 hasConceptScore W2155342912C8272713 @default.
- W2155342912 hasConceptScore W2155342912C98045186 @default.
- W2155342912 hasLocation W21553429121 @default.
- W2155342912 hasOpenAccess W2155342912 @default.
- W2155342912 hasPrimaryLocation W21553429121 @default.
- W2155342912 hasRelatedWork W1482758428 @default.
- W2155342912 hasRelatedWork W1516007874 @default.
- W2155342912 hasRelatedWork W1554547044 @default.
- W2155342912 hasRelatedWork W1577692163 @default.
- W2155342912 hasRelatedWork W1920926306 @default.
- W2155342912 hasRelatedWork W1948103674 @default.
- W2155342912 hasRelatedWork W2029290872 @default.
- W2155342912 hasRelatedWork W2099811898 @default.
- W2155342912 hasRelatedWork W2121115481 @default.
- W2155342912 hasRelatedWork W2125500714 @default.
- W2155342912 hasRelatedWork W2146187895 @default.
- W2155342912 hasRelatedWork W2161617103 @default.
- W2155342912 hasRelatedWork W2188515296 @default.
- W2155342912 hasRelatedWork W2188707970 @default.
- W2155342912 hasRelatedWork W2477000045 @default.
- W2155342912 hasRelatedWork W2778153045 @default.
- W2155342912 hasRelatedWork W2888447147 @default.
- W2155342912 hasRelatedWork W2913502134 @default.
- W2155342912 hasRelatedWork W2921989582 @default.
- W2155342912 hasRelatedWork W50369611 @default.
- W2155342912 isParatext "false" @default.
- W2155342912 isRetracted "false" @default.
- W2155342912 magId "2155342912" @default.
- W2155342912 workType "article" @default.