Matthew Hennessy Proof Systems for Message-Passing Process Calculi. 26 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#Hennessy99