On characterising strong bisimilarity in a fragment of CCS with replication

Daniel Hirschkoff Damien Pous

Published in: CoRR (2008)

Keyphrases

distributed databases
fault tolerant
high level
database
social networks
database systems
multiscale
data structure
preprocessing
information technology
fault tolerance
data replication
replicated databases
database replication