A proof system for asynchronously communicating deterministic processes (1994)

by F S de Boer, M van Hulst
Venue:Proc. MFCS '94, volume 841 of Lecture Notes in Computer Science