![](/img/cover-not-exists.png)
Correspondence assertions for process synchronization in concurrent communications
BONELLI, EDUARDO, COMPAGNONI, ADRIANA, GUNTER, ELSAVolume:
15
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s095679680400543x
Date:
March, 2005
File:
PDF, 318 KB
english, 2005