hanan@mcs213k.cs.umr.edu (Hanan Lutfiyya) (01/12/91)
Hi. I'm interested in verification of distributed systems. I was wondering if anyone has worked with proof rules(i.e. Hoare's axiomatic style rules) for ansynchronous communication commands. Thanks. Hanan Lutfiyya University of Missouri-Rolla