Pages that link to "Item:Q615236"
From MaRDI portal
The following pages link to Finite axiomatization for symbolic probabilistic \(\pi \)-calculus (Q615236):
Displaying 8 items.
- Finite axiomatization for symbolic probabilistic \(\pi \)-calculus (Q615236) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) (Q893593) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- Axiomatizing probabilistic processes: ACP with generative probabilities (Q1899914) (← links)
- Inference systems for observation equivalences in the \(\pi\)-calculus (Q1974214) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)