Correctness analysis for class of asynchronous communication mechanisms (1992)

by H R Simpson
Venue:IEE Proceedings E (Computers and Digital Techniques) 139