Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
concurrent systems
|
| gptkbp:field |
gptkb:logic
computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Abadi–Lamport logic
|
| gptkbp:introducedIn |
1990s
|
| gptkbp:inventedBy |
gptkb:Leslie_Lamport
gptkb:Martín_Abadi |
| gptkbp:notablePublication |
The existence of refinement mappings
|
| gptkbp:purpose |
reasoning about concurrent programs
|
| gptkbp:relatedTo |
gptkb:logic
gptkb:technical_specification verification refinement mappings |
| gptkbp:bfsParent |
gptkb:Martin_Abadi
|
| gptkbp:bfsLayer |
8
|