Pages that link to "Item:Q555750"

The following pages link to A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750):

Displaying 13 items.

• A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
• Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
• Probable innocence revisited (Q860902) (← links)
• Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
• On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
• Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
• Making random choices invisible to the scheduler (Q979081) (← links)
• A framework for analyzing probabilistic protocols and its application to the partial secrets exchange (Q2463563) (← links)
• Compositional methods for information-hiding (Q2971070) (← links)
• An expressiveness study of priority in process calculi (Q3655761) (← links)
• (Q5089025) (← links)
• Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
• Compositional Methods for Information-Hiding (Q5458378) (← links)