Correspondence assertions for process synchronization in concurrent communications
Open Access
- 1 January 2005
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 15 (2), 219-247
- https://doi.org/10.1017/s095679680400543x