Verification and refinement with fine-grained action-based concurrent objects (Q1770367)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification and refinement with fine-grained action-based concurrent objects |
scientific article |
Statements
Verification and refinement with fine-grained action-based concurrent objects (English)
0 references
6 April 2005
0 references
Object-based concurrency
0 references
Actions
0 references
Verification
0 references
Refinement
0 references
Weakest preconditions
0 references