Matches in SemOpenAlex for { <https://semopenalex.org/work/W47800957> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W47800957 endingPage "2222" @default.
- W47800957 startingPage "2202" @default.
- W47800957 abstract "ϵ-bisimulation equivalence has been proposed in the literature as a technique to study the concept of behavioral distance between probabilistic processes. In this paper we first consider the generative model of probabilistic processes and introduce two stronger equivalence notions: action ϵ-bisimulation and global ϵ-bisimulation. For each of these three equivalence notions we propose an SOS transition rule format ensuring the property of non-expansiveness. Non-expansiveness means that if the behavioral distance between si and ti is ϵi, then the behavioral distance between f(s1,…,sn) and f(t1,…,tn) is no more that ϵ1+⋯+ϵn. As expected, the stronger the ϵ-bisimulation considered, the weaker the constraints of the transition rule format. Then, we switch to the reactive model of probabilistic processes and we propose a rule format for ϵ-bisimulation and actionϵ-bisimulation, arguing that global ϵ-bisimulation is not needed in such a context." @default.
- W47800957 created "2016-06-24" @default.
- W47800957 creator A5060188970 @default.
- W47800957 date "2010-05-01" @default.
- W47800957 modified "2023-09-27" @default.
- W47800957 title "Non-expansive <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif display=inline overflow=scroll><mml:mi>ϵ</mml:mi></mml:math>-bisimulations for probabilistic processes" @default.
- W47800957 cites W1529656707 @default.
- W47800957 cites W1969947545 @default.
- W47800957 cites W1970318869 @default.
- W47800957 cites W1976268573 @default.
- W47800957 cites W2011979623 @default.
- W47800957 cites W2015172530 @default.
- W47800957 cites W2041561080 @default.
- W47800957 cites W2050078030 @default.
- W47800957 cites W2063972032 @default.
- W47800957 cites W2070157304 @default.
- W47800957 cites W2071882940 @default.
- W47800957 cites W2076087052 @default.
- W47800957 cites W2109146692 @default.
- W47800957 cites W2113391296 @default.
- W47800957 cites W2135657750 @default.
- W47800957 doi "https://doi.org/10.1016/j.tcs.2010.01.027" @default.
- W47800957 hasPublicationYear "2010" @default.
- W47800957 type Work @default.
- W47800957 sameAs 47800957 @default.
- W47800957 citedByCount "19" @default.
- W47800957 countsByYear W478009572012 @default.
- W47800957 countsByYear W478009572013 @default.
- W47800957 countsByYear W478009572014 @default.
- W47800957 countsByYear W478009572015 @default.
- W47800957 countsByYear W478009572016 @default.
- W47800957 countsByYear W478009572018 @default.
- W47800957 countsByYear W478009572019 @default.
- W47800957 countsByYear W478009572022 @default.
- W47800957 crossrefType "journal-article" @default.
- W47800957 hasAuthorship W47800957A5060188970 @default.
- W47800957 hasConcept C11413529 @default.
- W47800957 hasConcept C118615104 @default.
- W47800957 hasConcept C135315306 @default.
- W47800957 hasConcept C151730666 @default.
- W47800957 hasConcept C154945302 @default.
- W47800957 hasConcept C159985019 @default.
- W47800957 hasConcept C192562407 @default.
- W47800957 hasConcept C2779343474 @default.
- W47800957 hasConcept C2780069185 @default.
- W47800957 hasConcept C2780502288 @default.
- W47800957 hasConcept C30407753 @default.
- W47800957 hasConcept C33923547 @default.
- W47800957 hasConcept C41008148 @default.
- W47800957 hasConcept C49937458 @default.
- W47800957 hasConcept C86803240 @default.
- W47800957 hasConceptScore W47800957C11413529 @default.
- W47800957 hasConceptScore W47800957C118615104 @default.
- W47800957 hasConceptScore W47800957C135315306 @default.
- W47800957 hasConceptScore W47800957C151730666 @default.
- W47800957 hasConceptScore W47800957C154945302 @default.
- W47800957 hasConceptScore W47800957C159985019 @default.
- W47800957 hasConceptScore W47800957C192562407 @default.
- W47800957 hasConceptScore W47800957C2779343474 @default.
- W47800957 hasConceptScore W47800957C2780069185 @default.
- W47800957 hasConceptScore W47800957C2780502288 @default.
- W47800957 hasConceptScore W47800957C30407753 @default.
- W47800957 hasConceptScore W47800957C33923547 @default.
- W47800957 hasConceptScore W47800957C41008148 @default.
- W47800957 hasConceptScore W47800957C49937458 @default.
- W47800957 hasConceptScore W47800957C86803240 @default.
- W47800957 hasIssue "22-24" @default.
- W47800957 hasLocation W478009571 @default.
- W47800957 hasOpenAccess W47800957 @default.
- W47800957 hasPrimaryLocation W478009571 @default.
- W47800957 hasRelatedWork W1856818604 @default.
- W47800957 hasRelatedWork W1995469594 @default.
- W47800957 hasRelatedWork W2065703859 @default.
- W47800957 hasRelatedWork W2132900269 @default.
- W47800957 hasRelatedWork W2155105871 @default.
- W47800957 hasRelatedWork W2240256864 @default.
- W47800957 hasRelatedWork W2348507444 @default.
- W47800957 hasRelatedWork W2394197226 @default.
- W47800957 hasRelatedWork W2660972524 @default.
- W47800957 hasRelatedWork W44759527 @default.
- W47800957 hasVolume "411" @default.
- W47800957 isParatext "false" @default.
- W47800957 isRetracted "false" @default.
- W47800957 magId "47800957" @default.
- W47800957 workType "article" @default.
