Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155105871> ?p ?o ?g. }
- W2155105871 abstract "It is assumed in the ?-calculus that communication channels are always noiseless. But it is usually not the case in the mobile systems that developers are faced with in the real life. In this paper, we introduce an extension of ?, called ?N, in which noisy channels may be present. A probabilistic transitional semantics of ?N is given. The notions of approximate (strong) bisimilarity and equivalence between agents in ?N are proposed, and various algebraic laws for them are established. In particular, we introduce the notion of stratified bisimulation which is suited to describe behavior equivalence between infinite probabilistic processes. Some useful techniques for reasoning about approximate bisimilarity and equivalence are developed. We also introduce a notion of reliability in order to compare different behaviors of an agent in ? and ?N. It is shown that reliability is preserved by the basic combinators in ?. A link between reliability and bisimulation is given. This provides us with a uniform framework in which we can reason about both correctness properties and reliability of mobile systems. Also, a potential way of combing value-passing process algebras and Shannon's information theory is pointed out." @default.
- W2155105871 created "2016-06-24" @default.
- W2155105871 creator A5023088481 @default.
- W2155105871 date "2005-07-08" @default.
- W2155105871 modified "2023-10-16" @default.
- W2155105871 title "π-calculus with noisy channels" @default.
- W2155105871 cites W133701161 @default.
- W2155105871 cites W1485347574 @default.
- W2155105871 cites W1504187169 @default.
- W2155105871 cites W1513444661 @default.
- W2155105871 cites W1531625469 @default.
- W2155105871 cites W1543189905 @default.
- W2155105871 cites W1543526731 @default.
- W2155105871 cites W1545300203 @default.
- W2155105871 cites W1561838634 @default.
- W2155105871 cites W1562901937 @default.
- W2155105871 cites W1586140256 @default.
- W2155105871 cites W1591694044 @default.
- W2155105871 cites W1607148385 @default.
- W2155105871 cites W1789824541 @default.
- W2155105871 cites W1955693250 @default.
- W2155105871 cites W1976268573 @default.
- W2155105871 cites W1980535239 @default.
- W2155105871 cites W1995410278 @default.
- W2155105871 cites W1995875735 @default.
- W2155105871 cites W1998827035 @default.
- W2155105871 cites W2011180881 @default.
- W2155105871 cites W2017872109 @default.
- W2155105871 cites W2033051110 @default.
- W2155105871 cites W2033132551 @default.
- W2155105871 cites W2038373047 @default.
- W2155105871 cites W2053229198 @default.
- W2155105871 cites W2067899880 @default.
- W2155105871 cites W2072048176 @default.
- W2155105871 cites W2085568542 @default.
- W2155105871 cites W2086929814 @default.
- W2155105871 cites W2094935854 @default.
- W2155105871 cites W2098737431 @default.
- W2155105871 cites W2102097307 @default.
- W2155105871 cites W2123160677 @default.
- W2155105871 cites W2128932399 @default.
- W2155105871 cites W2130773382 @default.
- W2155105871 cites W2135657750 @default.
- W2155105871 cites W2137865376 @default.
- W2155105871 cites W2153983552 @default.
- W2155105871 cites W2158942489 @default.
- W2155105871 cites W2284263109 @default.
- W2155105871 cites W2912462169 @default.
- W2155105871 cites W2914597273 @default.
- W2155105871 cites W4210427261 @default.
- W2155105871 cites W4211008702 @default.
- W2155105871 cites W4212872794 @default.
- W2155105871 cites W80515974 @default.
- W2155105871 doi "https://doi.org/10.1007/s00236-005-0168-0" @default.
- W2155105871 hasPublicationYear "2005" @default.
- W2155105871 type Work @default.
- W2155105871 sameAs 2155105871 @default.
- W2155105871 citedByCount "18" @default.
- W2155105871 countsByYear W21551058712012 @default.
- W2155105871 countsByYear W21551058712013 @default.
- W2155105871 countsByYear W21551058712019 @default.
- W2155105871 countsByYear W21551058712021 @default.
- W2155105871 crossrefType "journal-article" @default.
- W2155105871 hasAuthorship W2155105871A5023088481 @default.
- W2155105871 hasBestOaLocation W21551058712 @default.
- W2155105871 hasConcept C11413529 @default.
- W2155105871 hasConcept C118615104 @default.
- W2155105871 hasConcept C135315306 @default.
- W2155105871 hasConcept C136119220 @default.
- W2155105871 hasConcept C154945302 @default.
- W2155105871 hasConcept C156325763 @default.
- W2155105871 hasConcept C161771561 @default.
- W2155105871 hasConcept C184337299 @default.
- W2155105871 hasConcept C199360897 @default.
- W2155105871 hasConcept C202444582 @default.
- W2155105871 hasConcept C24858836 @default.
- W2155105871 hasConcept C2780069185 @default.
- W2155105871 hasConcept C33923547 @default.
- W2155105871 hasConcept C39920170 @default.
- W2155105871 hasConcept C41008148 @default.
- W2155105871 hasConcept C49937458 @default.
- W2155105871 hasConcept C55439883 @default.
- W2155105871 hasConcept C70846408 @default.
- W2155105871 hasConcept C79678938 @default.
- W2155105871 hasConcept C80444323 @default.
- W2155105871 hasConceptScore W2155105871C11413529 @default.
- W2155105871 hasConceptScore W2155105871C118615104 @default.
- W2155105871 hasConceptScore W2155105871C135315306 @default.
- W2155105871 hasConceptScore W2155105871C136119220 @default.
- W2155105871 hasConceptScore W2155105871C154945302 @default.
- W2155105871 hasConceptScore W2155105871C156325763 @default.
- W2155105871 hasConceptScore W2155105871C161771561 @default.
- W2155105871 hasConceptScore W2155105871C184337299 @default.
- W2155105871 hasConceptScore W2155105871C199360897 @default.
- W2155105871 hasConceptScore W2155105871C202444582 @default.
- W2155105871 hasConceptScore W2155105871C24858836 @default.
- W2155105871 hasConceptScore W2155105871C2780069185 @default.
- W2155105871 hasConceptScore W2155105871C33923547 @default.
- W2155105871 hasConceptScore W2155105871C39920170 @default.
- W2155105871 hasConceptScore W2155105871C41008148 @default.