Correspondence assertions for process synchronization in concurrent communications
- Eduardo Bonelli
- , Adriana Compagnoni
- , Elsa Gunter
Research output: Contribution to journal › Article › peer-review
44
Scopus
citations