"Partial correctness of exits from concurrent structures" by Sigurd Meldal

Selected Works of Sigurd Meldal

Follow Contact

Article

Partial correctness of exits from concurrent structures

BIT Numerical Mathematics (1986)

Sigurd Meldal, San Jose State University

Link

Abstract

A rudimentary exit-mechanism from the parallel command of the language fragment CSP is introduced. A method for embedding invariants in a standard partial correctness system with pre-and postconditions is presented. Proof rules for exits from concurrent systems are introduced, and a simple data flow system is verified.

Disciplines

Computer Engineering

Publication Date

1986

Publisher Statement

SJSU users: use the following link to login and access the article via SJSU databases

Citation Information

Sigurd Meldal. "Partial correctness of exits from concurrent structures" BIT Numerical Mathematics Vol. 26 Iss. 3 (1986)
Available at: http://works.bepress.com/sigurd_meldal/13/