The following pages link to CONCUR 2004 - Concurrency Theory (Q5311494):
Displaying 13 items.
- Semantic domains of timed event structures (Q840017) (← links)
- Projective topology on bifinite domains and applications (Q854172) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Continuous probability distributions in concurrent games (Q2134837) (← links)
- Bayesian strategies: probabilistic programs as generalised graphical models (Q2233478) (← links)
- True-concurrency probabilistic models: Markov nets and a law of large numbers (Q2474051) (← links)
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures (Q2490114) (← links)
- Probabilistic event structures and domains (Q2503038) (← links)
- A Bayesian Model for Event-based Trust (Q2864161) (← links)
- Probabilistic Configuration Theories (Q2864526) (← links)
- Measure Properties of Game Tree Languages (Q2922025) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- (Q5089025) (← links)
