Metric Semantics for Concurrency.

J. W. de Bakker John-Jules Ch. Meyer

Published in: BIT (1988)

Keyphrases

formal semantics
logic programming
database systems
concurrency control
databases
argumentation semantics
metric space
distance function
fine grained
distance measure
distance metric
evaluation metrics
data flow
similarity metric
operational semantics
similarity measure
concurrent execution