Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!samsung!usc!ucsd!mvb.saic.com!ncr-sd!ncrcae!hubcap!hanan
From: hanan@mcs213k.cs.umr.edu (Hanan Lutfiyya)
Newsgroups: comp.parallel
Subject: Verification Rules
Message-ID: <12598@hubcap.clemson.edu>
Date: 11 Jan 91 22:13:45 GMT
Sender: fpst@hubcap.clemson.edu
Organization: University of Missouri - Rolla
Lines: 8
Approved: parallel@hubcap.clemson.edu

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