Enhanced event structures: Towards a true concurrency semantics for E-LOTOS.

Monika Kapus-Kolar

Published in: Comput. Stand. Interfaces (2007)

Keyphrases

database systems
formal semantics
logic programming
semantic information
data structure
news articles
event driven
database
data sets
databases
conceptual model
event detection
concurrency control
conceptual graphs
concurrency control protocols
concurrent execution