Proof Systems for Message-Passing Process Algebras.

Matthew Hennessy, Huimin Lin

Browse the full CONCUR paper archive.