A hierarchy of equivalences for asynchronous calculi.

Cédric Fournet Georges Gonthier

Published in: J. Log. Algebraic Methods Program. (2005)

Keyphrases

connected components
relational algebra
hierarchical structure
data sets
relational databases
lower level
database
real time
databases
data structure
discussion forums
state machines