On probabilistic stable event structures

Nargess Ghahremani, Julian Bradfield

Concurrency and probability are both much studied extensions of sequential computation. Within concurrency theory, there is a broad divide between interleaving models and logics, w…