Proof Systems for Message-Passing Process Algebras (1993)

Cached

Download Links

by M. Hennessy , H. Lin
Venue:Formal Aspects of Computing
Citations:28 - 9 self