Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366228175> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4366228175 endingPage "106399" @default.
- W4366228175 startingPage "106399" @default.
- W4366228175 abstract "Recently a branching bisimilarity congruence has been established for randomized process models in a model independent approach. In this paper, we propose a probabilistic weak bisimilarity for randomized CCS based on the notion of weak ϵ-tree and show that it is a congruence. We also provide a complete axiomatization for the finite fragment of the language. Both the definition of weak bisimilarity and the proof of congruence respect model independency and thus can be easily generalized to a randomized extension of any interactive model." @default.
- W4366228175 created "2023-04-19" @default.
- W4366228175 creator A5022540595 @default.
- W4366228175 creator A5028722677 @default.
- W4366228175 date "2023-08-01" @default.
- W4366228175 modified "2023-09-25" @default.
- W4366228175 title "Probabilistic weak bisimulation and axiomatization for probabilistic models" @default.
- W4366228175 cites W1976268573 @default.
- W4366228175 cites W1985161650 @default.
- W4366228175 cites W2022258624 @default.
- W4366228175 cites W2085568542 @default.
- W4366228175 cites W2135657750 @default.
- W4366228175 cites W2152398409 @default.
- W4366228175 cites W3103955647 @default.
- W4366228175 cites W3149394920 @default.
- W4366228175 doi "https://doi.org/10.1016/j.ipl.2023.106399" @default.
- W4366228175 hasPublicationYear "2023" @default.
- W4366228175 type Work @default.
- W4366228175 citedByCount "1" @default.
- W4366228175 countsByYear W43662281752023 @default.
- W4366228175 crossrefType "journal-article" @default.
- W4366228175 hasAuthorship W4366228175A5022540595 @default.
- W4366228175 hasAuthorship W4366228175A5028722677 @default.
- W4366228175 hasConcept C105795698 @default.
- W4366228175 hasConcept C113174947 @default.
- W4366228175 hasConcept C11413529 @default.
- W4366228175 hasConcept C114614502 @default.
- W4366228175 hasConcept C118615104 @default.
- W4366228175 hasConcept C132074034 @default.
- W4366228175 hasConcept C135315306 @default.
- W4366228175 hasConcept C136119220 @default.
- W4366228175 hasConcept C161771561 @default.
- W4366228175 hasConcept C202444582 @default.
- W4366228175 hasConcept C2524010 @default.
- W4366228175 hasConcept C33923547 @default.
- W4366228175 hasConcept C41008148 @default.
- W4366228175 hasConcept C49937458 @default.
- W4366228175 hasConcept C80444323 @default.
- W4366228175 hasConceptScore W4366228175C105795698 @default.
- W4366228175 hasConceptScore W4366228175C113174947 @default.
- W4366228175 hasConceptScore W4366228175C11413529 @default.
- W4366228175 hasConceptScore W4366228175C114614502 @default.
- W4366228175 hasConceptScore W4366228175C118615104 @default.
- W4366228175 hasConceptScore W4366228175C132074034 @default.
- W4366228175 hasConceptScore W4366228175C135315306 @default.
- W4366228175 hasConceptScore W4366228175C136119220 @default.
- W4366228175 hasConceptScore W4366228175C161771561 @default.
- W4366228175 hasConceptScore W4366228175C202444582 @default.
- W4366228175 hasConceptScore W4366228175C2524010 @default.
- W4366228175 hasConceptScore W4366228175C33923547 @default.
- W4366228175 hasConceptScore W4366228175C41008148 @default.
- W4366228175 hasConceptScore W4366228175C49937458 @default.
- W4366228175 hasConceptScore W4366228175C80444323 @default.
- W4366228175 hasFunder F4320321001 @default.
- W4366228175 hasLocation W43662281751 @default.
- W4366228175 hasOpenAccess W4366228175 @default.
- W4366228175 hasPrimaryLocation W43662281751 @default.
- W4366228175 hasRelatedWork W1525103753 @default.
- W4366228175 hasRelatedWork W1543496272 @default.
- W4366228175 hasRelatedWork W1597843639 @default.
- W4366228175 hasRelatedWork W1601878028 @default.
- W4366228175 hasRelatedWork W2028079360 @default.
- W4366228175 hasRelatedWork W2071882940 @default.
- W4366228175 hasRelatedWork W2124232232 @default.
- W4366228175 hasRelatedWork W3047659890 @default.
- W4366228175 hasRelatedWork W3144317787 @default.
- W4366228175 hasRelatedWork W4366228175 @default.
- W4366228175 hasVolume "182" @default.
- W4366228175 isParatext "false" @default.
- W4366228175 isRetracted "false" @default.
- W4366228175 workType "article" @default.