Correctness analysis for class of asynchronous communication mechanisms (1992)

by H R Simpson
Venue:IEE Proceedings, 139(1):35–49