Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
concept
|
| gptkbp:describes |
the organization of events
|
| gptkbp:field |
gptkb:philosophy
computer science linguistics |
| gptkbp:hasComponent |
events
constraints relations |
| gptkbp:hasModel |
gptkb:military
concurrency causal relationships dependencies between events |
| https://www.w3.org/2000/01/rdf-schema#label |
Event Structures
|
| gptkbp:introduced |
gptkb:David_Harel
|
| gptkbp:relatedTo |
event semantics
causality event logic temporal relations |
| gptkbp:usedIn |
gptkb:syntax
gptkb:Petri_nets formal methods semantics discourse analysis concurrent systems |
| gptkbp:bfsParent |
gptkb:Glynn_Winskel
|
| gptkbp:bfsLayer |
6
|