Finite axiomatization for symbolic probabilistic -calculus

DOI10.1007/S12204-009-0536-YMaRDI QIDQ615236zbMATHOpenAlexFDO

Authors Lei Song, Yuxin Deng

Publication date 5 January 2011

Published in Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s12204-009-0536-y

zbMATH Keywords

axiomatizationprobabilistic process calculussymbolic bisimulation

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Foundations of Software Science and Computational Structures
• Axiomatizations for probabilistic finite-state behaviors
• Publication:4535031
• Axiomatizing probabilistic processes: ACP with generative probabilities
• A complete symbolic bisimulation for full applied pi-calculus

Cites work

• scientific article; zbMATH DE number 1759621 (Why is no real title available?)
• scientific article; zbMATH DE number 1863164 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Axiomatizations for probabilistic finite-state behaviors
• Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
• Finite axiomatization for symbolic probabilistic \(\pi \)-calculus
• Reactive, generative, and stratified models of probabilistic processes
• Weak bisimulation for probabilistic timed automata

Cited in

(7)

• Sound and complete axiomatization of trace semantics for probabilistic systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
• Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
• Finite axiomatization for symbolic probabilistic \(\pi \)-calculus
• Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)
• Axiomatizations for probabilistic finite-state behaviors

This page was built for publication: Finite axiomatization for symbolic probabilistic \(\pi \)-calculus

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