Angelic semantics of fine-grained concurrency
- Dan Ghica
- , AS Murawski
- , I Walukiewicz
Research output: Contribution to journal › Article › peer-review
24
Citations
(Scopus)