Partial correctness of exits from concurrent structures |
| |
| Authors: | Sigurd Meldal |
| |
| Affiliation: | (1) Institute of Informatics, University of Oslo, P.O. Box 1080, Blindern, 0316 Oslo 3, Norway |
| |
| 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. |
| |
| Keywords: | D.2.4 F.3.1 |
| 本文献已被 SpringerLink 等数据库收录！ |
|
