Partial correctness of exits from concurrent structures (Q1080654)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Partial correctness of exits from concurrent structures |
scientific article; zbMATH DE number 3967904
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial correctness of exits from concurrent structures |
scientific article; zbMATH DE number 3967904 |
Statements
Partial correctness of exits from concurrent structures (English)
0 references
1986
0 references
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.
0 references
communicating sequential processes
0 references
parallel command
0 references
CSP
0 references
pre- and postconditions
0 references
data flow system
0 references
