Correspondence assertions for process synchronization in concurrent communications
- Eduardo Bonelli
- , Adriana Compagnoni
- , Elsa Gunter
- Stevens Institute of Technology
- University of Illinois at Urbana-Champaign
Research output: Contribution to journal › Article › peer-review
44
Scopus
citations