Uniform random process model revisited

DOI10.1007/978-3-030-34175-6_20MaRDI QIDQ6536319zbMATH OpenFDO

Authors Wen-bo Zhang, Huan Long, Xian Xu

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-34175-6_20

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1927574
• scientific article; zbMATH DE number 149518
• Bisimulation through probabilistic testing
• Deciding bisimilarity and similarity for probabilistic processes.
• Additive models of probabilistic processes

Cites work

• A complete axiomatisation for observational congruence of finite-state behaviours
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Bisimulation through probabilistic testing
• Branching time and abstraction in bisimulation semantics
• Checking equality and regularity for normed BPA with silent moves
• Equivalence-checking on infinite-state systems: Techniques and results
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 1754605 (Why is no real title available?)
• scientific article; zbMATH DE number 1759621 (Why is no real title available?)
• Reactive, generative, and stratified models of probabilistic processes
• Semantics of probabilistic processes. An operational approach
• Two lower bounds for BPA

Cited in

(2)

• Branching bisimulation semantics for quantum processes
• A unifying approach to probabilistic testing equivalences

This page was built for publication: Uniform random process model revisited

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