-calculus with noisy channels

DOI10.1007/S00236-005-0168-0MaRDI QIDQ2570971zbMATH OpenOpenAlexFDO

Authors Mingsheng Ying

Publication date 31 October 2005

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10453/9040

zbMATH Keywords

Shannon's information theoryvalue-passing process algebras

Mathematics Subject Classification ID

Information theory (general) (94A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Channel models (including quantum) in information and communication theory (94A40)

Recommendations

• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1420796
• Value-passing CCS with noisy channels
• A Probabilistic Applied Pi–Calculus
• scientific article; zbMATH DE number 1296290

Cites work

• scientific article; zbMATH DE number 1566482 (Why is no real title available?)
• scientific article; zbMATH DE number 1696897 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48344 (Why is no real title available?)
• scientific article; zbMATH DE number 52032 (Why is no real title available?)
• scientific article; zbMATH DE number 53100 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 1956504 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 1754609 (Why is no real title available?)
• scientific article; zbMATH DE number 1754626 (Why is no real title available?)
• A Mathematical Theory of Communication
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A calculus of mobile processes. II
• Additive models of probabilistic processes
• Algebra of communicating processes with abstraction
• Algebraic theory of probabilistic processes.
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Bisimulation for higher-order process calculi
• Bisimulation indexes and their applications
• Bisimulation through probabilistic testing
• CONCUR 2004 - Concurrency Theory
• Communicating sequential processes
• Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures
• Model theory.
• On reduction-based process semantics
• Plain CHOCS. A second generation calculus for higher order processes
• Probabilistic communicating processes
• Reactive, generative, and stratified models of probabilistic processes
• Reasoning about probabilistic sequential programs in a probabilistic logic
• Recursive equations in higher-order process calculi
• Some congruence properties for \(\pi\)-calculus bisimilarities
• Testing preorders for probabilistic processes.
• The \(\pi\)-calculus: A theory of mobile processes
• The two-phase commitment protocol in an extended \(\pi\)-calculus
• Undecidable verification problems for programs with unreliable channels
• Using forward reachability analysis for verification of lossy channel systems
• Validation of Stochastic Systems
• Verifying programs with unreliable channels

Cited in

(5)

• Approximating Markov processes through filtration
• A modal characterization of alternating approximate bisimilarity
• Behavioural equivalences of a probabilistic pi-calculus
• Value-passing CCS with noisy channels
• Implementation and Application of Automata

This page was built for publication: \(\pi\)-calculus with noisy channels

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2570971)