Capturing Synchronization Specifications for Sequential Compositions.

Zheng Zhu Steven D. Johnson

Published in: ICCD (1994)

Keyphrases

delay insensitive
high level
sequential search
real time
database
sequential data
data sets
databases
machine learning
formal specification
specification language
parallel version