Real-Time Semantics for Shared-Variable Concurrency

Eric Shade K. T. Narayana

Published in: Inf. Comput. (1993)

Keyphrases

real time
default reasoning
real time systems
database
control system
logic programming
semantic information
timing constraints
information systems
data structure
data model
low cost
data acquisition
conceptual model
concurrency control