Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.

Bard Bloom Marta Z. Kwiatkowska

Published in: MFPS (1991)

Keyphrases

mazurkiewicz traces
trade off
temporal logic
satisfiability problem
model checking
concurrency control
knowledge base
real time
database systems
computational complexity
artificial neural networks
data mining
data flow
transaction processing