Concurrent Behaviour: Sequences, Processes and Axioms.

Published in: Seminar on Concurrency (1984)

Keyphrases

knowledge base
hidden markov models
process model
first order logic
database
computational models
concurrent processes
real time
data sets
database systems
data structure
sequential patterns
qualitative models
sequence analysis