No label defined (Q3657408)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
formal syntax
0 references
formal relational semantics
0 references
guarded commands
0 references
parallel operator
0 references
atomic action feature
0 references
execution sequence
0 references
sequential non- deterministic semantics
0 references
Owicki-Gries proof method
0 references
assertional proofs
0 references
