Concurrency axioms and D-continuous posets.

Eike Best Agathe Merceron

Published in: European Workshop on Applications and Theory in Petri Nets (1984)

Keyphrases

partially ordered sets
database systems
multiscale
concurrency control
knowledge base
image sequences
scheduling problem
first order logic
continuous functions