Value-passing CCS with noisy channels

Non-deterministic transducer models of retransmission protocols over noisy channels

“…Several approaches for verification of sliding window protocols use model checking (see survey [5]) where the message contents are abstracted by symbolic constants or use semi-automated reasoning. While we model noisy channels through non-determinism in the sender's output, these have also been modeled through probabilistic semantics using formalisms of π -calculus [7] and valuepassing CCS with noisy channels [12].…”

Behavioural equivalences of a probabilistic pi-calculus

“…Its asynchronous version has been studied by Cao [22]. In order to model some reactive systems in which communication channels are not reliable, an extension of Milner's VCCS in a noisy environment has been recently investigated in [23]. There probabilistic information is used to give a precise characterization of noisy channels, and thus appears only in agent's interpretation (semantics).…”