Pages that link to "Item:Q2503038"
From MaRDI portal
The following pages link to Probabilistic event structures and domains (Q2503038):
Displaying 21 items.
- Distributed probabilistic and quantum strategies (Q265835) (← links)
- Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
- Transfer of trust in event-based reputation systems (Q418797) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565) (← links)
- A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822) (← links)
- Consistent Smyth powerdomains. (Q2250140) (← links)
- Trust in event structures (Q2253171) (← links)
- Causality in physics and computation (Q2253173) (← links)
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system (Q2637309) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Schedulers and Finishers: On Generating the Behaviours of an Event Structure (Q3179396) (← links)
- Concurrency, σ-Algebras, and Probabilistic Fairness (Q3617742) (← links)
- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net (Q3648819) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- A Theory of Distributed Markov Chains (Q4988963) (← links)
- (Q5207054) (← links)
- Probabilistic and Quantum Event Structures (Q5418979) (← links)
- Causal Unfoldings (Q5875372) (← links)
- Confusion-tolerant computation of probability in acyclic nets (Q6550568) (← links)