Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:designedBy |
gptkb:Jayadev_Misra
gptkb:K._Mani_Chandy |
| gptkbp:firstAppearance |
1988
|
| gptkbp:focusesOn |
parallelism
program verification nondeterminism program specification |
| gptkbp:hasFeature |
absence of explicit control flow
emphasis on program properties statements executed in arbitrary order |
| https://www.w3.org/2000/01/rdf-schema#label |
UNITY programming language
|
| gptkbp:influenced |
concurrent programming research
|
| gptkbp:influencedBy |
Dijkstra's guarded commands
|
| gptkbp:languageOfName |
theoretical
|
| gptkbp:notablePublication |
A Logic for Concurrent Programming
Parallel Program Design: A Foundation |
| gptkbp:paradigm |
concurrent programming
declarative programming |
| gptkbp:usedIn |
academic research
|
| gptkbp:bfsParent |
gptkb:J._Misra
|
| gptkbp:bfsLayer |
8
|