Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295113553> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4295113553 endingPage "84" @default.
- W4295113553 startingPage "67" @default.
- W4295113553 abstract "This paper presents an algorithm for determining the unknown rates in the sequential processes of a Stochastic Process Algebra (SPA) model, provided that the rates in the combined flat model are given. Such a rate lifting is useful for model reverse engineering and model repair. Technically, the algorithm works by solving systems of nonlinear equations and – if necessary – adjusting the model’s synchronisation structure without changing its transition system. This approach exploits some structural properties of SPA systems, which are formulated here for the first time and could be very beneficial also in other contexts." @default.
- W4295113553 created "2022-09-10" @default.
- W4295113553 creator A5048017742 @default.
- W4295113553 creator A5088264745 @default.
- W4295113553 date "2022-01-01" @default.
- W4295113553 modified "2023-10-05" @default.
- W4295113553 title "Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –" @default.
- W4295113553 cites W1497788657 @default.
- W4295113553 cites W1574505635 @default.
- W4295113553 cites W1862398452 @default.
- W4295113553 cites W2095861482 @default.
- W4295113553 cites W2114879646 @default.
- W4295113553 cites W2137865376 @default.
- W4295113553 cites W2593267253 @default.
- W4295113553 cites W3011932343 @default.
- W4295113553 cites W3207198994 @default.
- W4295113553 cites W4206542816 @default.
- W4295113553 cites W4295113553 @default.
- W4295113553 cites W798280485 @default.
- W4295113553 doi "https://doi.org/10.1007/978-3-031-16336-4_4" @default.
- W4295113553 hasPublicationYear "2022" @default.
- W4295113553 type Work @default.
- W4295113553 citedByCount "1" @default.
- W4295113553 countsByYear W42951135532022 @default.
- W4295113553 crossrefType "book-chapter" @default.
- W4295113553 hasAuthorship W4295113553A5048017742 @default.
- W4295113553 hasAuthorship W4295113553A5088264745 @default.
- W4295113553 hasBestOaLocation W42951135532 @default.
- W4295113553 hasConcept C105795698 @default.
- W4295113553 hasConcept C11413529 @default.
- W4295113553 hasConcept C121332964 @default.
- W4295113553 hasConcept C126255220 @default.
- W4295113553 hasConcept C136119220 @default.
- W4295113553 hasConcept C158622935 @default.
- W4295113553 hasConcept C161771561 @default.
- W4295113553 hasConcept C165696696 @default.
- W4295113553 hasConcept C199360897 @default.
- W4295113553 hasConcept C202444582 @default.
- W4295113553 hasConcept C28826006 @default.
- W4295113553 hasConcept C33923547 @default.
- W4295113553 hasConcept C38652104 @default.
- W4295113553 hasConcept C41008148 @default.
- W4295113553 hasConcept C62520636 @default.
- W4295113553 hasConcept C80444323 @default.
- W4295113553 hasConcept C8272713 @default.
- W4295113553 hasConcept C98045186 @default.
- W4295113553 hasConceptScore W4295113553C105795698 @default.
- W4295113553 hasConceptScore W4295113553C11413529 @default.
- W4295113553 hasConceptScore W4295113553C121332964 @default.
- W4295113553 hasConceptScore W4295113553C126255220 @default.
- W4295113553 hasConceptScore W4295113553C136119220 @default.
- W4295113553 hasConceptScore W4295113553C158622935 @default.
- W4295113553 hasConceptScore W4295113553C161771561 @default.
- W4295113553 hasConceptScore W4295113553C165696696 @default.
- W4295113553 hasConceptScore W4295113553C199360897 @default.
- W4295113553 hasConceptScore W4295113553C202444582 @default.
- W4295113553 hasConceptScore W4295113553C28826006 @default.
- W4295113553 hasConceptScore W4295113553C33923547 @default.
- W4295113553 hasConceptScore W4295113553C38652104 @default.
- W4295113553 hasConceptScore W4295113553C41008148 @default.
- W4295113553 hasConceptScore W4295113553C62520636 @default.
- W4295113553 hasConceptScore W4295113553C80444323 @default.
- W4295113553 hasConceptScore W4295113553C8272713 @default.
- W4295113553 hasConceptScore W4295113553C98045186 @default.
- W4295113553 hasLocation W42951135531 @default.
- W4295113553 hasLocation W42951135532 @default.
- W4295113553 hasOpenAccess W4295113553 @default.
- W4295113553 hasPrimaryLocation W42951135531 @default.
- W4295113553 hasRelatedWork W101667962 @default.
- W4295113553 hasRelatedWork W1576906336 @default.
- W4295113553 hasRelatedWork W1954655008 @default.
- W4295113553 hasRelatedWork W2110571105 @default.
- W4295113553 hasRelatedWork W2123833239 @default.
- W4295113553 hasRelatedWork W2148856178 @default.
- W4295113553 hasRelatedWork W2154071973 @default.
- W4295113553 hasRelatedWork W2604909604 @default.
- W4295113553 hasRelatedWork W2808111091 @default.
- W4295113553 hasRelatedWork W1584109559 @default.
- W4295113553 isParatext "false" @default.
- W4295113553 isRetracted "false" @default.
- W4295113553 workType "book-chapter" @default.