Event Structures

GPTKB entity

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