The University of Warwick Library - WebBridge

P-A LOGIC - A COMPOSITIONAL PROOF SYSTEM FOR DISTRIBUTED PROGRAMS
DISTRIBUTED COMPUTING.  v. 5. no. 1.   1991. p. 37 - 54... issn: 0178-2770 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.