Pages that link to "Item:Q2490114"
From MaRDI portal
The following pages link to True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114):
Displayed 19 items.
- Distributed probabilistic and quantum strategies (Q265835) (← links)
- Projective topology on bifinite domains and applications (Q854172) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- Branching cells for asymmetric event structures (Q2253176) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- True-concurrency probabilistic models: Markov nets and a law of large numbers (Q2474051) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- Concurrency, σ-Algebras, and Probabilistic Fairness (Q3617742) (← links)
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net (Q3648819) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- A Theory of Distributed Markov Chains (Q4988963) (← links)
- (Q5089025) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- (Q5207054) (← links)
- A projective formalism applied to topological and probabilistic event structures (Q5756981) (← links)
- (Q6191021) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)