On synchronization and its specification.

Krithi Ramamritham Robert M. Keller

Published in: CONPAR (1981)

Keyphrases

high level
formal specification
formal verification
database
databases
decision making
knowledge base
multimedia
website
data structure
probabilistic model
business processes
chaotic systems
operational semantics