Effective Abstractions for Defining and Verifying Processes Leon J. Osterweil ([email protected]) Univ. of Massachusetts Amherst, MA 01003 USA URL: laser.cs.umass.edu UC Irvine…
