Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ghahremani, Nargess"'
Autor:
Ghahremani, Nargess, Bradfield, Julian
Concurrency and probability are both much studied extensions of sequential computation. Within concurrency theory, there is a broad divide between interleaving models and logics, which model concurrency by non-determinism, and `truly concurrent' mode
Externí odkaz:
http://arxiv.org/abs/2012.10188
