Matches in SemOpenAlex for { <https://semopenalex.org/work/W2287341768> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2287341768 endingPage "245" @default.
- W2287341768 startingPage "230" @default.
- W2287341768 abstract "We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) captures the essential nature of compositional reasoning and allows now also to reason compositionally about recursive processes. We characterize the distance between probabilistic processes composed by standard process algebra operators. Combining these results, we demonstrate how compositional reasoning about systems specified by continuous process algebra operators allows for metric assume-guarantee like performance validation." @default.
- W2287341768 created "2016-06-24" @default.
- W2287341768 creator A5060188970 @default.
- W2287341768 creator A5069362159 @default.
- W2287341768 creator A5083347350 @default.
- W2287341768 date "2015-01-01" @default.
- W2287341768 modified "2023-09-27" @default.
- W2287341768 title "Compositional Metric Reasoning with Probabilistic Process Calculi" @default.
- W2287341768 cites W1568477142 @default.
- W2287341768 cites W1757114815 @default.
- W2287341768 cites W1948727931 @default.
- W2287341768 cites W2012556109 @default.
- W2287341768 cites W2015172530 @default.
- W2287341768 cites W2063972032 @default.
- W2287341768 cites W2070218973 @default.
- W2287341768 cites W2157977984 @default.
- W2287341768 cites W3022137235 @default.
- W2287341768 cites W60875600 @default.
- W2287341768 cites W81345837 @default.
- W2287341768 doi "https://doi.org/10.1007/978-3-662-46678-0_15" @default.
- W2287341768 hasPublicationYear "2015" @default.
- W2287341768 type Work @default.
- W2287341768 sameAs 2287341768 @default.
- W2287341768 citedByCount "11" @default.
- W2287341768 countsByYear W22873417682015 @default.
- W2287341768 countsByYear W22873417682016 @default.
- W2287341768 countsByYear W22873417682017 @default.
- W2287341768 countsByYear W22873417682018 @default.
- W2287341768 countsByYear W22873417682023 @default.
- W2287341768 crossrefType "book-chapter" @default.
- W2287341768 hasAuthorship W2287341768A5060188970 @default.
- W2287341768 hasAuthorship W2287341768A5069362159 @default.
- W2287341768 hasAuthorship W2287341768A5083347350 @default.
- W2287341768 hasBestOaLocation W22873417681 @default.
- W2287341768 hasConcept C111472728 @default.
- W2287341768 hasConcept C135315306 @default.
- W2287341768 hasConcept C136119220 @default.
- W2287341768 hasConcept C138885662 @default.
- W2287341768 hasConcept C154945302 @default.
- W2287341768 hasConcept C161771561 @default.
- W2287341768 hasConcept C162324750 @default.
- W2287341768 hasConcept C176217482 @default.
- W2287341768 hasConcept C184337299 @default.
- W2287341768 hasConcept C189950617 @default.
- W2287341768 hasConcept C199360897 @default.
- W2287341768 hasConcept C202444582 @default.
- W2287341768 hasConcept C21547014 @default.
- W2287341768 hasConcept C33923547 @default.
- W2287341768 hasConcept C41008148 @default.
- W2287341768 hasConcept C49937458 @default.
- W2287341768 hasConcept C80444323 @default.
- W2287341768 hasConcept C98045186 @default.
- W2287341768 hasConceptScore W2287341768C111472728 @default.
- W2287341768 hasConceptScore W2287341768C135315306 @default.
- W2287341768 hasConceptScore W2287341768C136119220 @default.
- W2287341768 hasConceptScore W2287341768C138885662 @default.
- W2287341768 hasConceptScore W2287341768C154945302 @default.
- W2287341768 hasConceptScore W2287341768C161771561 @default.
- W2287341768 hasConceptScore W2287341768C162324750 @default.
- W2287341768 hasConceptScore W2287341768C176217482 @default.
- W2287341768 hasConceptScore W2287341768C184337299 @default.
- W2287341768 hasConceptScore W2287341768C189950617 @default.
- W2287341768 hasConceptScore W2287341768C199360897 @default.
- W2287341768 hasConceptScore W2287341768C202444582 @default.
- W2287341768 hasConceptScore W2287341768C21547014 @default.
- W2287341768 hasConceptScore W2287341768C33923547 @default.
- W2287341768 hasConceptScore W2287341768C41008148 @default.
- W2287341768 hasConceptScore W2287341768C49937458 @default.
- W2287341768 hasConceptScore W2287341768C80444323 @default.
- W2287341768 hasConceptScore W2287341768C98045186 @default.
- W2287341768 hasLocation W22873417681 @default.
- W2287341768 hasOpenAccess W2287341768 @default.
- W2287341768 hasPrimaryLocation W22873417681 @default.
- W2287341768 hasRelatedWork W1601878028 @default.
- W2287341768 hasRelatedWork W1736113712 @default.
- W2287341768 hasRelatedWork W2028079360 @default.
- W2287341768 hasRelatedWork W2124232232 @default.
- W2287341768 hasRelatedWork W2287341768 @default.
- W2287341768 hasRelatedWork W2348507444 @default.
- W2287341768 hasRelatedWork W2728210909 @default.
- W2287341768 hasRelatedWork W3121327281 @default.
- W2287341768 hasRelatedWork W4294224775 @default.
- W2287341768 hasRelatedWork W4301864728 @default.
- W2287341768 isParatext "false" @default.
- W2287341768 isRetracted "false" @default.
- W2287341768 magId "2287341768" @default.
- W2287341768 workType "book-chapter" @default.